PR tests

Support bus interactions in the mock prover #11544

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	14m 55s
build	14m 55s
run_examples	28m 14s
run_examples	28m 14s
udeps	4m 14s
udeps	4m 14s
bench	23m 14s
bench	23m 14s
test_slow (1)	2m 6s
test_slow (1)	2m 6s
test_slow (2)	17m 21s
test_slow (2)	17m 21s
test_estark_polygon	6m 38s
test_estark_polygon	6m 38s
test_quick (1)	2m 2s
test_quick (1)	2m 2s
test_slow (3)	13m 31s
test_slow (3)	13m 31s
test_quick (2)	1m 47s
test_quick (2)	1m 41s
test_slow (4)	23m 55s
test_slow (4)	23m 55s
test_slow (5)	10m 11s
test_slow (5)	10m 11s
test_slow (6)	8m 28s
test_slow (6)	8m 28s
test_slow (7)	9m 12s
test_slow (7)	9m 12s
test_slow (8)	7m 52s
test_slow (8)	7m 52s
	5h 47m 14s