DeclaredType in TypeChecker #9759

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	11m 26s
run_examples	5m 59s
test_estark_polygon	13m 53s
test_quick (1)	2m 13s
test_slow (1)	19m 53s
test_quick (2)	1m 53s
test_slow (2)	40m 11s
test_slow (3)	27m 1s
test_slow (4)	27m 34s
test_slow (5)	9m 21s
test_slow (6)	22m 6s
test_slow (7)	11m 36s
test_slow (8)	2m 52s
	3h 15m 58s