Skip to content

Add a manual trigger to the release workflow - #4

Merged
bitWarrior merged 1 commit into
mainfrom
release/manual-dispatch
Sep 1, 2026
Merged

Add a manual trigger to the release workflow#4
bitWarrior merged 1 commit into
mainfrom
release/manual-dispatch

Conversation

@bitWarrior

Copy link
Copy Markdown
Owner

Publishing the v1.2.0 GitHub Release emitted a ReleaseEvent with
action=published, but no run was dispatched for release.yml -- the workflow
is active and Actions is enabled, so the event simply did not start a run.
That leaves no way to publish without recreating the Release, and no way to
retry a failed publish at all.

Add workflow_dispatch with a required tag input. Both entry points feed the
same tag/version guard, so a manual run cannot publish an artifact whose
_version.py disagrees with the tag it claims to be.

Also pin the checkout to the tag being released rather than letting it default
to the branch, which matters now that a run can start from a dispatch.

Co-Authored-By: Claude Opus 5 noreply@anthropic.com
Claude-Session: https://claude.ai/code/session_0114gUUe4CxYr8W8oC95ffmD

Publishing the v1.2.0 GitHub Release emitted a ReleaseEvent with
action=published, but no run was dispatched for release.yml -- the workflow
is active and Actions is enabled, so the event simply did not start a run.
That leaves no way to publish without recreating the Release, and no way to
retry a failed publish at all.

Add workflow_dispatch with a required tag input. Both entry points feed the
same tag/version guard, so a manual run cannot publish an artifact whose
_version.py disagrees with the tag it claims to be.

Also pin the checkout to the tag being released rather than letting it default
to the branch, which matters now that a run can start from a dispatch.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0114gUUe4CxYr8W8oC95ffmD
@bitWarrior
bitWarrior merged commit 3749875 into main Sep 1, 2026
4 checks passed
@bitWarrior
bitWarrior deleted the release/manual-dispatch branch September 1, 2026 20:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant