Repository navigation

Live Provers

chore(deps): bump the actions group with 2 updates #1218

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
T1 Guix manifest check	44s
T1 / alt-ergo	1m 28s
T1 / vampire	1m 29s
T1 / chuffed	1m 26s
T1 / cvc5	1m 15s
T1 / spass	1m 37s
T1 / eprover	1m 39s
T1 / minizinc	2m 23s
T1 / z3	1m 38s
T1 / glpk	1m 50s
T4 / ${{ matrix.backend }}	-1s
T2 / ${{ matrix.backend }}	-1s
T4 niche provers	-1s
T3 / ${{ matrix.backend }}	-1s
	15m 25s