verify

More fixes #239

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	50s
verify (00)	43s
verify (01)	56s
verify (02)	35s
verify (03)	47s
verify (04)	40s
verify (05)	50s
verify (06)	16s
verify (07)	23s
verify (08)	26s
verify (09)	31s
verify (10)	16s
verify (11)	15s
verify (12)	21s
verify (13)	27s
verify (14)	24s
verify (15)	23s
verify (16)	32s
verify (17)	13s
verify (18)	35s
verify (19)	24s
docs-and-check	38s
deploy	10s
	11m 35s