verify

Use bmi2 target for kth_set_bit, improve compress_coords and radix sort #228

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	50s
verify (00)	40s
verify (01)	1m 30s
verify (02)	57s
verify (03)	1m 43s
verify (04)	49s
verify (05)	26s
verify (06)	20s
verify (07)	16s
verify (08)	14s
verify (09)	20s
verify (10)	23s
verify (11)	30s
verify (12)	22s
verify (13)	22s
verify (14)	28s
verify (15)	27s
verify (16)	16s
verify (17)	17s
verify (18)	29s
verify (19)	15s
docs-and-check	38s
deploy	8s
	12m 40s