Skip to content

release.sh: fixes from matchgen#134

Merged
danielparks merged 1 commit into
mainfrom
release.sh-updates
Jul 10, 2026
Merged

release.sh: fixes from matchgen#134
danielparks merged 1 commit into
mainfrom
release.sh-updates

`release.sh`: fixes from matchgen

e9a38da
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Checks
succeeded Jul 10, 2026 in 7m 27s