Skip to content
Build and test FStar

update fstar.opam to include mtime #4190

Sign in to view logs

update fstar.opam to include mtime

update fstar.opam to include mtime #4190

Run time

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