Live Provers

fix(ci): update secret-scanner SHA to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 #1015

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
T1 Guix manifest check	33s
T1 / spass	1m 52s
T1 / z3	1m 28s
T1 / cvc5	1m 42s
T1 / eprover	1m 35s
T1 / minizinc	1m 32s
T1 / alt-ergo	1m 26s
T1 / vampire	1m 32s
T1 / glpk	1m 26s
T1 / chuffed	1m 51s
T3 / ${{ matrix.backend }}	0s
T2 / ${{ matrix.backend }}	0s
T4 niche provers	0s
T4 / ${{ matrix.backend }}	0s
	14m 57s