verify

Factor out cvector #247

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	44s
verify (00)	50s
verify (01)	1m 8s
verify (02)	46s
verify (03)	39s
verify (04)	47s
verify (05)	1m 6s
verify (06)	42s
verify (07)	1m 12s
verify (08)	53s
verify (09)	48s
verify (10)	1m 19s
verify (11)	1m 1s
verify (12)	1m 3s
verify (13)	2m 28s
verify (14)	1m 19s
verify (15)	46s
verify (16)	55s
verify (17)	47s
verify (18)	49s
verify (19)	13s
docs-and-check	38s
deploy	9s
	21m 2s