Skip to content
Nix Build

Revert "Parser.Dep: remove wrong logic for FStar.Stubs" #760

Sign in to view logs

Revert "Parser.Dep: remove wrong logic for FStar.Stubs"

Revert "Parser.Dep: remove wrong logic for FStar.Stubs" #760

Triggered via pull request October 15, 2024 02:01
@mtzguidomtzguido
synchronize #3567
mtzguido:deps
Status Success
Total duration 7m 59s
Artifacts –

nix.yaml

on: pull_request
nix-build
7m 49s
nix-build
Fit to window
Zoom out
Zoom in