Skip to content

Updates to CI to match matchgen#132

Merged
danielparks merged 2 commits into
mainfrom
github-workflows
Jun 18, 2026
Merged

Updates to CI to match matchgen#132
danielparks merged 2 commits into
mainfrom
github-workflows

Commits

Commits on Jun 18, 2026