Skip to content

ci: add workflow_dispatch for manual re-runs#102

Merged
JumpLink merged 1 commit into
mainfrom
ci/oidc-publish-with-dispatch
Jun 16, 2026
Merged

ci: add workflow_dispatch for manual re-runs#102
JumpLink merged 1 commit into
mainfrom
ci/oidc-publish-with-dispatch

Conversation

@JumpLink

Copy link
Copy Markdown
Collaborator

Extends #101: adds workflow_dispatch trigger so the release can be manually re-run from main (which has the OIDC fix), bypassing the tag-commit limitation.

Background: GitHub uses the workflow from the tag's commit for release events. When a tag predates a workflow change, the old workflow runs. workflow_dispatch always uses the workflow from the selected ref (default: main).

The tag input defaults to latest and is ignored on release events (those use prerelease flag as before).

Allows triggering the release workflow directly from main (which has the
OIDC fix) without needing a release event. Useful when a release tag
predates a workflow change and the tag cannot be moved.
@JumpLink JumpLink merged commit 74af69c into main Jun 16, 2026
3 of 4 checks passed
@JumpLink JumpLink deleted the ci/oidc-publish-with-dispatch branch June 16, 2026 19:03
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.

2 participants