Skip to content

Improvements to release.sh and “Release” GitHub workflow#101

Merged
danielparks merged 2 commits intomainfrom
better-release-workflow
Oct 23, 2025
Merged

Improvements to `release.sh` and “Release” GitHub workflow#101
danielparks merged 2 commits intomainfrom
better-release-workflow

Commits