Add `VertexConnectivity` #235

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
GAP master / only-needed	1m 14s
GAP master / needed+suggested	2m 17s
GAP stable-4.11 / only-needed	1m 16s
GAP stable-4.11 / needed+suggested	2m 10s
GAP stable-4.12 / only-needed	1m 19s
GAP stable-4.12 / needed+suggested	2m 26s
GAP stable-4.13 / only-needed	1m 20s
GAP stable-4.13 / needed+suggested	2m 34s
	14m 36s