Skip to content

ci: Fix release workflow#422

Merged
ltoenning merged 1 commit into
mainfrom
release_test
Jun 29, 2026
Merged

ci: Fix release workflow#422
ltoenning merged 1 commit into
mainfrom
release_test

Conversation

@ltoenning

Copy link
Copy Markdown
Member

No description provided.

@ltoenning ltoenning added the no-changelog Signal to GitHub actions that for this PR no CHANGELOG entry is required label Jun 29, 2026
@ltoenning ltoenning added this pull request to the merge queue Jun 29, 2026
Merged via the queue into main with commit c9ae21c Jun 29, 2026
8 of 9 checks passed
@ltoenning ltoenning deleted the release_test branch June 30, 2026 06:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-changelog Signal to GitHub actions that for this PR no CHANGELOG entry is required

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant