Live Provers

chore(deps): bump rmcp from 2.1.0 to 2.2.0 (#315) #877

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
T1 Guix manifest check	29s
T1 / minizinc	57s
T1 / chuffed	47s
T1 / spass	45s
T1 / z3	51s
T1 / cvc5	56s
T1 / vampire	1m 3s
T1 / alt-ergo	1m 3s
T1 / eprover	1m 3s
T1 / glpk	1m 3s
T3 / ${{ matrix.backend }}	0s
T2 / ${{ matrix.backend }}	0s
T4 / ${{ matrix.backend }}	0s
T4 niche provers	0s
	8m 57s