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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix-build
7m 49s
7m 49s