verify

Fixes #207

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	53s
verify (00)	46s
verify (01)	1m 14s
verify (02)	1m 25s
verify (03)	51s
verify (04)	1m 13s
verify (05)	1m 15s
verify (06)	59s
verify (07)	51s
verify (08)	1m 6s
verify (09)	1m 17s
verify (10)	50s
verify (11)	1m 9s
verify (12)	1m 15s
verify (13)	1m 4s
verify (14)	1m 17s
verify (15)	1m 27s
verify (16)	1m 22s
verify (17)	3m 1s
verify (18)	1m 26s
verify (19)	1m 3s
docs-and-check	33s
deploy	8s
	26m 25s