verify

No backedges (for now?) #409

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 24s
verify (00)	39s
verify (05)	48s
verify (01)	45s
verify (02)	43s
verify (03)	47s
verify (04)	51s
verify (06)	57s
verify (09)	53s
verify (08)	1m 14s
verify (07)	50s
verify (17)	22s
verify (16)	23s
verify (11)	20s
verify (18)	20s
verify (10)	26s
verify (13)	22s
verify (12)	24s
verify (15)	23s
verify (14)	34s
verify (19)	23s
docs-and-check	53s
deploy	8s
	14m 49s