verify

Fix #230

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	46s
verify (00)	32s
verify (01)	13s
verify (02)	21s
verify (03)	23s
verify (04)	24s
verify (05)	25s
verify (06)	13s
verify (07)	25s
verify (08)	29s
verify (09)	21s
verify (10)	23s
verify (11)	31s
verify (12)	29s
verify (13)	22s
verify (14)	17s
verify (15)	32s
verify (16)	30s
verify (17)	20s
verify (18)	20s
verify (19)	13s
docs-and-check	56s
deploy	7s
	9m 32s