verify

fix #314

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 12s
verify (03)	1m 18s
verify (00)	2m 50s
verify (09)	2m 41s
verify (01)	1m 14s
verify (04)	2m 51s
verify (08)	1m 7s
verify (10)	1m 12s
verify (07)	1m 7s
verify (02)	53s
verify (05)	1m 14s
verify (06)	54s
verify (16)	2m 24s
verify (12)	1m 2s
verify (11)	1m 17s
verify (13)	50s
verify (17)	2m 24s
verify (18)	1m 16s
verify (14)	1m 12s
verify (15)	3m 6s
verify (19)	2m 37s
docs-and-check	1m 21s
deploy	10s
	36m 12s