continuous integration (staging)

feat: `G.deleteEdges s = G ↔ Disjoint G.edgeSet s` (#13829) #8733

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check workflows	8s
Lint style	40s
Cancel Previous Runs (CI)	4s
Build	10m 22s
Post-CI job	10s
	11m 24s