Skip to content

ci: add manual GitHub Release workflow dispatch#71

Merged
eddietejeda merged 1 commit into
mainfrom
ci/release-workflow-dispatch
May 20, 2026
Merged

ci: add manual GitHub Release workflow dispatch#71
eddietejeda merged 1 commit into
mainfrom
ci/release-workflow-dispatch

Conversation

@eddietejeda
Copy link
Copy Markdown
Contributor

Summary

  • Add workflow_dispatch to release.yml with a tag input
  • Validate the tag exists remotely and matches vX.Y.Z
  • Check out the tag before extracting changelog notes
  • Document recovery steps in RELEASING.md

Test plan

  • Merge PR
  • Run gh workflow run "GitHub Release" --ref main -f tag=v0.2.2
  • Confirm workflow succeeds and release notes are updated

Allow creating or updating a release from main for an existing tag when
automated release creation fails after PyPI publish.
@eddietejeda eddietejeda merged commit 5a313de into main May 20, 2026
2 checks passed
@eddietejeda eddietejeda deleted the ci/release-workflow-dispatch branch May 20, 2026 16: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