Skip to content

chore: release rust crates v1.13.7#1044

Merged
zxch3n merged 1 commit into
mainfrom
release-rust
Jul 15, 2026
Merged

chore: release rust crates v1.13.7#1044
zxch3n merged 1 commit into
mainfrom
release-rust

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

This PR is automatically created to release version 1.13.7.
Please review the changes and merge to trigger the release.

@zxch3n
zxch3n merged commit fd5a1fd into main Jul 15, 2026
@zxch3n
zxch3n deleted the release-rust branch July 15, 2026 08:36
@zxch3n
zxch3n deployed to release July 15, 2026 08:36 — with GitHub Actions Active
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