verify

define custom maxn via CP_ALGO_MAXN #80

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	28s
verify (00)	30s
verify (01)	31s
verify (02)	40s
verify (03)	36s
verify (04)	1m 14s
verify (05)	41s
verify (06)	56s
verify (07)	37s
verify (08)	40s
verify (09)	34s
verify (10)	37s
verify (11)	1m 10s
verify (12)	1m 22s
verify (13)	53s
verify (14)	1m 14s
verify (15)	38s
verify (16)	50s
verify (17)	28s
verify (18)	37s
verify (19)	17s
docs-and-check	53s
deploy	7s
	16m 33s