verify

fix warning #365

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 14s
verify (03)	1m 42s
verify (01)	1m 20s
verify (04)	45s
verify (07)	17s
verify (06)	33s
verify (05)	1m 11s
verify (00)	1m 4s
verify (02)	53s
verify (08)	20s
verify (11)	27s
verify (12)	28s
verify (10)	22s
verify (14)	23s
verify (13)	23s
verify (19)	23s
verify (15)	18s
verify (18)	18s
verify (09)	36s
verify (17)	18s
verify (16)	17s
docs-and-check	39s
deploy	8s
	14m 19s