PR tests

pilopt: optimize until fixpoint (#2225) #11355

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bench	22m 48s
udeps	4m 20s
run_examples	28m 17s
build	14m 35s
test_estark_polygon	7m 4s
test_quick (1)	2m 54s
test_slow (1)	2m 31s
test_quick (2)	2m 33s
test_slow (2)	16m 11s
test_slow (3)	13m 26s
test_slow (4)	21m 56s
test_slow (5)	10m 55s
test_slow (6)	8m 19s
test_slow (7)	10m 40s
test_slow (8)	9m 12s
	2h 55m 41s