Back to pull request #1898

Stwobackend prover skeleton #8893

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run_examples	5m 7s
build	19m 45s
test_estark_polygon	3m 56s
test_slow (1)	4m 9s
test_quick (1)	1m 42s
test_slow (2)	9m 20s
test_slow (3)	13m 23s
test_quick (2)	1m 28s
test_slow (4)	13m 11s
test_slow (5)	8m 20s
test_slow (6)	24m 16s
test_slow (7)	1m 16s
test_slow (8)	2m 17s
	1h 48m 10s