verify

sum exp times poly limit #339

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 19s
verify (01)	37s
verify (00)	49s
verify (05)	17s
verify (03)	19s
verify (02)	23s
verify (04)	16s
verify (08)	15s
verify (06)	21s
verify (07)	21s
verify (09)	19s
verify (10)	16s
verify (12)	25s
verify (14)	20s
verify (13)	21s
verify (17)	20s
verify (11)	20s
verify (16)	15s
verify (15)	21s
verify (19)	19s
verify (18)	15s
docs-and-check	38s
deploy	9s
	9m 15s