verify

Add spfa for negative edges #403

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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