verify

Fix includes #198

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	37s
verify (00)	44s
verify (01)	1m 0s
verify (02)	38s
verify (03)	41s
verify (04)	42s
verify (05)	22s
verify (06)	22s
verify (07)	26s
verify (08)	22s
verify (09)	14s
verify (10)	14s
verify (11)	17s
verify (12)	17s
verify (13)	14s
verify (14)	27s
verify (15)	14s
verify (16)	14s
verify (17)	18s
verify (18)	14s
verify (19)	18s
docs-and-check	2m 16s
deploy	1s
	11m 12s