Skip to content

Update changelog#122

Merged
tortmayr merged 1 commit intomainfrom
pr/releng
Feb 10, 2026
Merged

Update changelog#122
tortmayr merged 1 commit intomainfrom
pr/releng

Conversation

@tortmayr
Copy link
Contributor

And add publish-release workflow

And add publish-release workflow
@tortmayr tortmayr merged commit b2dbd15 into main Feb 10, 2026
5 checks passed
@tortmayr tortmayr deleted the pr/releng branch February 10, 2026 09:26
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