verify

Extra checkpoint #262

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	42s
verify (00)	57s
verify (03)	1m 7s
verify (02)	41s
verify (01)	58s
verify (04)	45s
verify (05)	1m 10s
verify (06)	1m 9s
verify (07)	1m 4s
verify (08)	1m 0s
verify (15)	1m 35s
verify (14)	2m 25s
verify (10)	1m 50s
verify (09)	54s
verify (11)	1m 7s
verify (17)	1m 23s
verify (16)	50s
verify (18)	55s
verify (19)	1m 14s
verify (12)	1m 3s
verify (13)	1m 28s
docs-and-check	1m 0s
deploy	7s
	25m 24s