verify

demand maxn if use_bump_alloc is true #354

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 4s
verify (05)	44s
verify (01)	47s
verify (04)	53s
verify (00)	1m 44s
verify (09)	1m 1s
verify (06)	1m 9s
verify (08)	6m 20s
verify (07)	1m 21s
verify (02)	49s
verify (03)	1m 2s
verify (17)	1m 24s
verify (13)	1m 58s
verify (10)	1m 22s
verify (12)	1m 9s
verify (14)	1m 17s
verify (15)	1m 11s
verify (16)	3m 5s
verify (11)	1m 25s
verify (18)	1m 16s
verify (19)	1m 32s
docs-and-check	41s
deploy	10s
	33m 24s