Skip to content
Nix Build

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

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

nix-build

nix-build
succeeded Oct 15, 2024 in 7m 58s