Skip to content

Updates to CI to match matchgen#113

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

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

Commits

Commits on Jun 18, 2026