verify

Separate spfa and deep_spfa, add spfa tree diameter test #406

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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