verify

add convolution mod 2^64 #327

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	34s
verify (01)	1m 23s
verify (00)	1m 14s
verify (02)	1m 16s
verify (03)	2m 0s
verify (06)	1m 12s
verify (07)	1m 1s
verify (09)	1m 23s
verify (10)	1m 16s
verify (12)	1m 48s
verify (04)	59s
verify (05)	1m 25s
verify (11)	1m 36s
verify (16)	3m 6s
verify (19)	1m 59s
verify (14)	2m 4s
verify (15)	1m 27s
verify (18)	1m 58s
verify (08)	52s
verify (13)	1m 35s
verify (17)	1m 59s
docs-and-check	43s
deploy	8s
	32m 58s