verify

More fixes #238

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	46s
verify (00)	41s
verify (01)	34s
verify (02)	40s
verify (03)	38s
verify (04)	33s
verify (05)	51s
verify (06)	47s
verify (07)	1m 6s
verify (08)	33s
verify (09)	24s
verify (10)	30s
verify (11)	30s
verify (12)	23s
verify (13)	20s
verify (14)	26s
verify (15)	16s
verify (16)	28s
verify (17)	28s
verify (18)	25s
verify (19)	17s
docs-and-check	45s
deploy	9s
	12m 30s