verify

Store endpoint xor in edges #407

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 20s
verify (01)	1m 1s
verify (03)	47s
verify (05)	45s
verify (04)	51s
verify (08)	1m 2s
verify (07)	1m 14s
verify (12)	25s
verify (00)	46s
verify (11)	18s
verify (02)	46s
verify (06)	1m 0s
verify (10)	27s
verify (09)	46s
verify (15)	25s
verify (19)	29s
verify (14)	21s
verify (13)	35s
verify (18)	25s
verify (17)	21s
verify (16)	33s
docs-and-check	57s
deploy	10s
	15m 44s