verify

Fixes #287

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	38s
verify (02)	37s
verify (06)	42s
verify (00)	59s
verify (03)	59s
verify (01)	51s
verify (05)	56s
verify (11)	55s
verify (16)	1m 18s
verify (15)	2m 12s
verify (10)	1m 4s
verify (08)	58s
verify (09)	1m 22s
verify (18)	1m 4s
verify (14)	59s
verify (07)	54s
verify (12)	46s
verify (19)	1m 24s
verify (17)	55s
verify (13)	52s
verify (04)	56s
docs-and-check	49s
deploy	8s
	22m 18s