verify

Optimize dot, use vector<vpoint> instead of vector<vftype> #268

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	42s
verify (00)	36s
verify (03)	1m 30s
verify (01)	50s
verify (02)	37s
verify (06)	1m 17s
verify (05)	1m 4s
verify (04)	38s
verify (07)	36s
verify (10)	46s
verify (13)	1m 21s
verify (08)	51s
verify (12)	47s
verify (16)	1m 37s
verify (09)	1m 17s
verify (14)	48s
verify (15)	2m 9s
verify (18)	1m 1s
verify (11)	1m 10s
verify (17)	53s
verify (19)	1m 17s
docs-and-check	37s
deploy	8s
	22m 32s