Skip to content
Build and test FStar

fix dune file to use mtime.clock #4191

Sign in to view logs

fix dune file to use mtime.clock

fix dune file to use mtime.clock #4191

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
11m 33s
11m 33s