Skip to content
Live Provers

CI hygiene: allow-fail expiry, dead playground workflows, ruleset snapshot (ultraplan Phase 0/2) #1225

Sign in to view logs

CI hygiene: allow-fail expiry, dead playground workflows, ruleset snapshot (ultraplan Phase 0/2)

CI hygiene: allow-fail expiry, dead playground workflows, ruleset snapshot (ultraplan Phase 0/2) #1225

Run time

Learn about OS pricing on GitHub Actions
Job Run time
T1 Guix manifest check
37s
T1 / minizinc
1m 35s
T1 / chuffed
4m 5s
T1 / spass
1m 25s
T1 / glpk
1m 31s
T1 / eprover
1m 28s
T1 / cvc5
1m 21s
T1 / z3
1m 34s
T1 / alt-ergo
1m 26s
T1 / vampire
1m 14s
T2 / ${{ matrix.backend }}
-1s
T3 / ${{ matrix.backend }}
-1s
T4 niche provers
-1s
T4 / ${{ matrix.backend }}
-1s
16m 12s