verify

Fix #215

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	46s
verify (00)	59s
verify (01)	53s
verify (02)	38s
verify (03)	17s
verify (04)	39s
verify (05)	40s
verify (06)	37s
verify (07)	16s
verify (08)	15s
verify (09)	18s
verify (10)	37s
verify (11)	29s
verify (12)	20s
verify (13)	21s
verify (14)	36s
verify (15)	21s
verify (16)	18s
verify (17)	32s
verify (18)	50s
verify (19)	36s
docs-and-check	43s
deploy	7s
	12m 8s