Live Provers

feat(labels): estate label tooling + auto-triage for new issues #1059

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
T1 Guix manifest check	1m 10s
T1 / cvc5	1m 40s
T1 / minizinc	1m 35s
T1 / vampire	1m 27s
T1 / eprover	2m 6s
T1 / glpk	1m 26s
T1 / spass	2m 0s
T1 / chuffed	1m 36s
T1 / alt-ergo	1m 54s
T1 / z3	1m 38s
T3 / ${{ matrix.backend }}	0s
T4 niche provers	0s
T2 / ${{ matrix.backend }}	-10s
T4 / ${{ matrix.backend }}	-10s
	16m 12s