Skip to content

Add new changelog#5132

Merged
JelleZijlstra merged 1 commit into
mainfrom
ci/new-changelog
May 16, 2026
Merged

Add new changelog#5132
JelleZijlstra merged 1 commit into
mainfrom
ci/new-changelog

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions github-actions Bot added ci: skip news Pull requests that don't need a changelog entry. C: maintenance Related to project maintenance, e.g. CI, testing, policy changes, releases labels May 16, 2026
@JelleZijlstra JelleZijlstra merged commit 3dc8e6c into main May 16, 2026
2 checks passed
@JelleZijlstra JelleZijlstra deleted the ci/new-changelog branch May 16, 2026 18:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C: maintenance Related to project maintenance, e.g. CI, testing, policy changes, releases ci: skip news Pull requests that don't need a changelog entry.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants