verify

Fix #285

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	37s
verify (00)	46s
verify (07)	43s
verify (04)	38s
verify (06)	37s
verify (05)	50s
verify (01)	50s
verify (10)	54s
verify (11)	41s
verify (02)	52s
verify (08)	52s
verify (12)	44s
verify (17)	41s
verify (14)	44s
verify (13)	53s
verify (09)	1m 3s
verify (18)	47s
verify (16)	1m 10s
verify (15)	2m 3s
verify (03)	58s
verify (19)	1m 1s
docs-and-check	48s
deploy	10s
	19m 22s