Topology build speed-ups#4115

garth-wells wants to merge 5 commits into

mainFEniCS/dolfinx:mainfrom

garth/topology-speed-2FEniCS/dolfinx:garth/topology-speed-2Copy head branch name to clipboard