verify

Fix discrete_log #208

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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