verify

make bump_alloc usable in vector #366

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 17s
verify (00)	47s
verify (03)	1m 32s
verify (01)	45s
verify (04)	25s
verify (11)	18s
verify (08)	20s
verify (07)	17s
verify (09)	18s
verify (06)	18s
verify (05)	15s
verify (02)	1m 5s
verify (10)	18s
verify (15)	22s
verify (14)	18s
verify (17)	20s
verify (13)	15s
verify (18)	20s
verify (12)	24s
verify (16)	20s
verify (19)	18s
docs-and-check	41s
deploy	12s
	11m 25s