Skip to content

Make the release workflow safe to repeat - #10

Merged
raszi merged 2 commits into
mainfrom
ci/release-branch-guard
Sep 19, 2026
Merged

raszi merged 2 commits into
mainfrom
ci/release-branch-guard

Conversation

@raszi

@raszi raszi commented Sep 19, 2026

Copy link
Copy Markdown
Member

The first release run left the branch release/v0.3.0 behind. The second run then failed on the push, because the branch already existed. The message was hard to read.

The prepare workflow now checks the branch name first. If the branch exists, the run stops with a clear message.

The publish job now points the tag at the merge commit of the pull request. Before, it used the head of main, which can move when a second merge lands at the same time.

@raszi raszi added the ci Change the continuous integration configuration. label Sep 19, 2026
@raszi
raszi merged commit f8c9bb9 into main Sep 19, 2026
4 checks passed
@raszi
raszi deleted the ci/release-branch-guard branch September 19, 2026 19:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Change the continuous integration configuration.

Development

Successfully merging this pull request may close these issues.

1 participant