Skip to content

Release 0.5.25 - #713

Merged
tamnd merged 1 commit into
mainfrom
release-0.5.25
Nov 13, 2026
Merged

tamnd merged 1 commit into
mainfrom
release-0.5.25

Conversation

@tamnd

@tamnd tamnd commented Nov 13, 2026

Copy link
Copy Markdown
Owner

This PR releases 0.5.25.

The release has the PRs from #709 to #712: #709, #710, #711 and #712.

This PR changes only the version and the changelog. The gate did not run.

@tamnd tamnd added kind/chore Maintenance with no change to behavior, for example a dependency update. area/build Cargo, xtask and the toolchain. labels Nov 13, 2026
@tamnd
tamnd merged commit c893767 into main Nov 13, 2026
6 of 7 checks passed
@tamnd
tamnd deleted the release-0.5.25 branch November 13, 2026 00:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/build Cargo, xtask and the toolchain. kind/chore Maintenance with no change to behavior, for example a dependency update.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant