verify

Don't use mmap #283

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	39s
verify (01)	47s
verify (00)	45s
verify (06)	1m 3s
verify (03)	1m 3s
verify (02)	34s
verify (17)	44s
verify (10)	1m 8s
verify (14)	2m 2s
verify (04)	48s
verify (08)	42s
verify (05)	59s
verify (18)	47s
verify (11)	52s
verify (19)	1m 15s
verify (12)	1m 11s
verify (07)	1m 8s
verify (13)	1m 13s
verify (16)	43s
verify (09)	44s
verify (15)	52s
docs-and-check	25s
deploy	1s
	20m 25s