verify

factor out rotate_right #299

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	49s
verify (15)	1m 36s
verify (12)	57s
verify (18)	1m 7s
verify (13)	1m 21s
verify (16)	1m 22s
verify (08)	57s
verify (03)	1m 4s
verify (06)	1m 18s
verify (09)	54s
verify (00)	1m 7s
verify (14)	2m 23s
verify (05)	1m 25s
verify (07)	1m 6s
verify (11)	1m 13s
verify (17)	56s
verify (02)	1m 0s
verify (19)	1m 30s
verify (10)	1m 18s
verify (04)	55s
verify (01)	1m 0s
docs-and-check	45s
deploy	13s
	26m 16s