Skip to content
Nix Build

Tidying up a bit of FStar.All and FStar.Compiler.Effect #736

Sign in to view logs

Tidying up a bit of FStar.All and FStar.Compiler.Effect

Tidying up a bit of FStar.All and FStar.Compiler.Effect #736

Triggered via pull request October 10, 2024 15:52
@mtzguidomtzguido
opened #3551
mtzguido:tidy_fstar_all
Status Success
Total duration 17m 29s
Artifacts –

nix.yaml

on: pull_request
nix-build
17m 20s
nix-build
Fit to window
Zoom out
Zoom in