Skip to content

New github workflows: convert geometry etc, artifacts

Wouter Deconinckrequested to merge
github-workflows-geometry into main

Continue the migration of overlap checks and geometry conversion jobs etc.

Merge request reports