verify

fix #328

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 17s
verify (00)	1m 50s
verify (01)	1m 12s
verify (04)	1m 28s
verify (02)	1m 32s
verify (07)	1m 56s
verify (03)	2m 35s
verify (09)	3h 4m 25s
verify (19)	2m 22s
verify (06)	1m 5s
verify (17)	2m 25s
verify (14)	3m 38s
verify (08)	1m 1s
verify (05)	1m 38s
verify (13)	1m 43s
verify (16)	2m 5s
verify (12)	1m 57s
verify (11)	2m 3s
verify (18)	1m 23s
verify (15)	2m 23s
verify (10)	2m 13s
docs-and-check	39s
deploy	8s
	3h 42m 58s