Skip to content

Update release workflow#177

Merged
David Elner (delner) merged 1 commit into
mainfrom
ci/shared_release_workflow
Jun 5, 2026
Merged

Update release workflow#177
David Elner (delner) merged 1 commit into
mainfrom
ci/shared_release_workflow

Conversation

@delner

Copy link
Copy Markdown
Collaborator

Rework our release script to use shared actions and canonical workflow from our tooling repository. Workflow does roughly same thing as before.

This should make it easy to keep some of this repo's release behaviors inline with other repos.

@delner David Elner (delner) self-assigned this Jun 5, 2026
@delner David Elner (delner) requested a review from a team as a code owner June 5, 2026 16:24
@delner David Elner (delner) added the enhancement New feature or request label Jun 5, 2026
@delner David Elner (delner) merged commit 3f3b016 into main Jun 5, 2026
10 checks passed
@delner David Elner (delner) deleted the ci/shared_release_workflow branch June 5, 2026 17:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants