Skip to content
Build and test FStar

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
10m 8s
10m 8s