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

GitHub workflows: update to match matchgen

c47641c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view