Skip to content

Comments

chore: create github prerelease changelog notes#158

Merged
mandarini merged 1 commit intomainfrom
chore/github-prerelease-
Feb 19, 2026
Merged

chore: create github prerelease changelog notes#158
mandarini merged 1 commit intomainfrom
chore/github-prerelease-

Conversation

@mandarini
Copy link
Contributor

Adjust workflow so that it creates a GitHub pre-release for rc's as well, not only stables.

@mandarini mandarini merged commit 8409ea1 into main Feb 19, 2026
4 checks passed
@mandarini mandarini deleted the chore/github-prerelease- branch February 19, 2026 14:34
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