verify

Improve randomizer #271

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	49s
verify (03)	45s
verify (01)	48s
verify (06)	54s
verify (00)	55s
verify (09)	47s
verify (07)	46s
verify (04)	39s
verify (05)	42s
verify (02)	35s
verify (10)	1m 7s
verify (16)	59s
verify (12)	46s
verify (17)	42s
verify (08)	36s
verify (13)	59s
verify (19)	1m 2s
verify (18)	49s
verify (15)	54s
verify (14)	1m 57s
verify (11)	44s
docs-and-check	42s
deploy	8s
	19m 5s