Rename `HalfEdge` to `Edge` #3674

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	1m 42s
Test (ubuntu-latest)	1m 33s
Test (macOS-latest)	1m 33s
Test (windows-latest)	3m 20s
	8m 8s