verify

Fixes #286

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	42s
verify (01)	52s
verify (00)	53s
verify (02)	58s
verify (03)	43s
verify (05)	47s
verify (04)	54s
verify (12)	56s
verify (07)	46s
verify (15)	2m 13s
verify (13)	58s
verify (09)	46s
verify (17)	53s
verify (18)	1m 3s
verify (10)	1m 5s
verify (08)	56s
verify (06)	56s
verify (16)	1m 13s
verify (19)	1m 21s
verify (14)	56s
verify (11)	47s
docs-and-check	37s
deploy	8s
	21m 23s