Back to pull request #2503

Parse handle_query prover functions. #12510

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run_examples	27m 17s
udeps	4m 23s
build	15m 29s
bench	24m 1s
test_estark_polygon	6m 56s
test_quick (1)	4m 13s
test_slow (1)	1m 50s
test_quick (2)	2m 57s
test_slow (2)	16m 33s
test_slow (3)	20m 50s
test_slow (4)	21m 13s
test_slow (5)	13m 27s
test_slow (6)	9m 11s
test_slow (7)	9m 3s
test_slow (8)	7m 20s
	3h 4m 43s