PR tests

pilopt: optimize until fixpoint #11091

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	15m 20s
bench	25m 16s
run_examples	15m 50s
udeps	4m 30s
test_estark_polygon	6m 10s
test_quick (1)	3m 46s
test_slow (1)	4m 8s
test_quick (2)	4m 31s
test_slow (2)	17m 14s
test_slow (3)	11m 42s
test_slow (4)	14m 53s
test_slow (5)	9m 45s
test_slow (6)	8m 14s
test_slow (7)	8m 15s
test_slow (8)	5m 28s
	2h 35m 2s