verify

use up to k first lements of a #259

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	47s
verify (02)	40s
verify (05)	1m 14s
verify (01)	46s
verify (00)	45s
verify (03)	53s
verify (06)	32s
verify (08)	1m 12s
verify (07)	43s
verify (11)	58s
verify (04)	1m 3s
verify (09)	1m 15s
verify (10)	1m 40s
verify (14)	42s
verify (17)	57s
verify (13)	52s
verify (12)	1m 6s
verify (16)	1m 22s
verify (18)	1m 32s
verify (15)	2m 31s
verify (19)	1m 30s
docs-and-check	43s
deploy	8s
	23m 51s