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

Triggered via pull request October 15, 2024 16:55
@mtzguidomtzguido
synchronize #3568
TWal:twal/only_update_fstar_in_check_world
Status Success
Total duration 8m 20s
Artifacts –

nix.yaml

on: pull_request
nix-build
8m 9s
nix-build
Fit to window
Zoom out
Zoom in