verify

Add outgoing(v) to graphs, don't store reverse edges in digraphs #392

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup	1m 27s
verify (03)	57s
verify (02)	1m 2s
verify (04)	56s
verify (00)	50s
verify (01)	40s
verify (07)	1m 6s
verify (17)	29s
verify (16)	20s
verify (09)	20s
verify (08)	24s
verify (11)	21s
verify (05)	1m 25s
verify (12)	21s
verify (10)	19s
verify (06)	36s
verify (18)	22s
verify (15)	27s
verify (19)	26s
verify (13)	23s
verify (14)	23s
docs-and-check	53s
deploy	9s
	14m 36s