verify

rewrite big_new to big_alloc #282

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	39s
verify (02)	1m 33s
verify (01)	1m 8s
verify (03)	51s
verify (00)	1m 9s
verify (06)	1m 10s
verify (07)	53s
verify (09)	47s
verify (05)	1m 13s
verify (04)	1m 7s
verify (11)	1m 24s
verify (08)	44s
verify (10)	1m 30s
verify (18)	1m 16s
verify (17)	1m 20s
verify (14)	1m 20s
verify (16)	2m 43s
verify (12)	1m 24s
verify (15)	1m 35s
verify (19)	2m 0s
verify (13)	2m 8s
docs-and-check	44s
deploy	8s
	28m 46s