verify

factor out random generator #372

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 18s
verify (03)	2m 38s
verify (00)	1m 21s
verify (14)	3m 41s
verify (05)	1m 41s
verify (13)	2m 10s
verify (02)	1m 26s
verify (06)	1m 52s
verify (10)	7m 3s
verify (12)	2m 25s
verify (11)	1m 39s
verify (09)	2m 29s
verify (16)	2m 6s
verify (01)	1m 52s
verify (18)	2m 0s
verify (19)	2m 45s
verify (04)	1m 36s
verify (07)	1m 58s
verify (08)	1m 18s
verify (15)	2m 25s
verify (17)	2m 59s
docs-and-check	52s
deploy	9s
	49m 43s