Skip to content
Build and test FStar

fix(check-world): only update F* for Comparse, DY* and MLS* #4184

Sign in to view logs

fix(check-world): only update F* for Comparse, DY* and MLS*

fix(check-world): only update F* for Comparse, DY* and MLS* #4184

Run time

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