Release: promote develop to main (IGNORE_GITHUB_REF prerelease fix)#199

Merged

ptr727 merged 3 commits into

mainfrom

Jun 27, 2026

Commits on Jun 26, 2026

Fix develop prerelease tagging via IGNORE_GITHUB_REF (#198)

ptr727
and
claude
authored

Commits on Jun 27, 2026

Skip validate-release gate in smoke builds (#202)

ptr727
and
claude
authored
Fix detached-SHA versioning: branch input + git checkout -B (#203)

ptr727
and
claude
authored