verify

xor_dfs, tree diameter #410

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 15s
verify (00)	45s
verify (04)	23s
verify (02)	24s
verify (01)	29s
verify (05)	22s
verify (03)	23s
verify (08)	22s
verify (06)	30s
verify (07)	30s
verify (12)	24s
verify (11)	27s
verify (10)	24s
verify (18)	30s
verify (17)	23s
verify (16)	28s
verify (19)	30s
verify (14)	24s
verify (13)	22s
verify (15)	26s
verify (09)	27s
docs-and-check	57s
deploy	55s
	12m 0s