verify

fixes #295

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	40s
verify (02)	50s
verify (00)	1m 5s
verify (01)	59s
verify (06)	53s
verify (09)	1m 34s
verify (05)	39s
verify (10)	56s
verify (07)	46s
verify (11)	53s
verify (04)	1m 7s
verify (08)	40s
verify (03)	46s
verify (15)	1m 18s
verify (17)	1m 9s
verify (13)	44s
verify (18)	1m 2s
verify (14)	2m 19s
verify (12)	47s
verify (16)	58s
verify (19)	1m 24s
docs-and-check	47s
deploy	10s
	22m 26s