verify

Fixes #196

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	30s
verify (00)	47s
verify (01)	35s
verify (02)	36s
verify (03)	38s
verify (04)	49s
verify (05)	44s
verify (06)	36s
verify (07)	39s
verify (08)	28s
verify (09)	30s
verify (10)	24s
verify (11)	34s
verify (12)	27s
verify (13)	27s
verify (14)	23s
verify (15)	17s
verify (16)	22s
verify (17)	37s
verify (18)	28s
verify (19)	27s
docs-and-check	2m 56s
deploy	9s
	14m 23s