verify

Fix #191

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	46s
verify (00)	45s
verify (01)	1m 15s
verify (02)	1m 8s
verify (03)	47s
verify (04)	1m 13s
verify (05)	50s
verify (06)	58s
verify (07)	45s
verify (08)	55s
verify (09)	1m 19s
verify (10)	44s
verify (11)	1m 6s
verify (12)	1m 12s
verify (13)	1m 14s
verify (14)	1m 13s
verify (15)	1m 43s
verify (16)	1m 21s
verify (17)	3m 0s
verify (18)	1m 25s
verify (19)	58s
docs-and-check	2m 49s
deploy	8s
	27m 34s