PR tests

Support Not sound challenges in Stwo #11913

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bench	23m 24s
build	14m 30s
udeps	4m 32s
run_examples	28m 58s
test_quick (1)	4m 40s
test_estark_polygon	6m 30s
test_quick (2)	2m 50s
test_slow (1)	2m 23s
test_slow (2)	16m 52s
test_slow (3)	21m 37s
test_slow (4)	23m 59s
test_slow (5)	14m 3s
test_slow (6)	8m 42s
test_slow (7)	14m 1s
test_slow (8)	9m 16s
	3h 16m 17s