verify

convolution on multiplicative monoid test #333

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 1s
verify (06)	33s
verify (02)	15s
verify (15)	25s
verify (04)	27s
verify (00)	46s
verify (05)	24s
verify (14)	24s
verify (08)	15s
verify (12)	27s
verify (07)	24s
verify (13)	24s
verify (01)	25s
verify (16)	23s
verify (09)	22s
verify (11)	24s
verify (10)	20s
verify (03)	26s
verify (18)	17s
verify (19)	19s
verify (17)	26s
docs-and-check	42s
deploy	8s
	9m 57s