verify

Factor out primality + factorize #182

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	39s
verify (00)	48s
verify (01)	1m 3s
verify (02)	41s
verify (03)	55s
verify (04)	27s
verify (05)	43s
verify (06)	29s
verify (07)	47s
verify (08)	53s
verify (09)	1m 13s
verify (10)	57s
verify (11)	46s
verify (12)	57s
verify (13)	1m 9s
verify (14)	40s
verify (15)	45s
verify (16)	2m 10s
verify (17)	1m 9s
verify (18)	52s
verify (19)	1m 5s
docs-and-check	2m 59s
deploy	7s
	22m 14s