Skip to content
Nix Build

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

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* #764

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix-build
8m 9s
8m 9s