Skip to content
Nix

fix: keep main green (invariants proof references; #472 not reproducible) #970

Sign in to view logs

fix: keep main green (invariants proof references; #472 not reproducible)

fix: keep main green (invariants proof references; #472 not reproducible) #970

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-aarch64-darwin
7m 19s
check-x86_64-linux
1h 0m 52s
1h 8m 11s