verify

fix checkpoint #256

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	37s
verify (01)	1m 10s
verify (13)	1m 35s
verify (05)	1m 27s
verify (06)	1m 4s
verify (04)	49s
verify (12)	46s
verify (10)	1m 39s
verify (07)	56s
verify (00)	46s
verify (08)	1m 6s
verify (17)	1m 15s
verify (16)	54s
verify (19)	1m 7s
verify (02)	52s
verify (18)	1m 7s
verify (11)	1m 4s
verify (15)	1m 35s
verify (14)	2m 20s
verify (09)	40s
verify (03)	50s
docs-and-check	36s
deploy	8s
	24m 23s