verify

Fix warnings #310

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	41s
verify (02)	28s
verify (00)	55s
verify (01)	36s
verify (05)	19s
verify (07)	23s
verify (06)	32s
verify (04)	18s
verify (11)	20s
verify (15)	25s
verify (13)	23s
verify (03)	22s
verify (12)	27s
verify (14)	23s
verify (08)	17s
verify (09)	22s
verify (19)	20s
verify (18)	33s
verify (17)	32s
verify (10)	23s
verify (16)	25s
docs-and-check	36s
deploy	10s
	10m 10s