verify

Fix #313

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	51s
verify (02)	1m 27s
verify (03)	1m 25s
verify (05)	56s
verify (06)	1m 13s
verify (09)	1m 8s
verify (01)	1m 32s
verify (10)	1m 21s
verify (00)	1m 5s
verify (08)	1m 52s
verify (13)	1m 27s
verify (04)	1m 32s
verify (14)	55s
verify (11)	1m 28s
verify (16)	1m 58s
verify (19)	1m 14s
verify (17)	1m 4s
verify (12)	1m 4s
verify (07)	1m 28s
verify (18)	1m 47s
verify (15)	2m 19s
docs-and-check	47s
deploy	18s
	30m 11s