Skip to content

chore: release v0.13.2#773

Merged
edwin-zvs merged 1 commit into
mainfrom
release/0.13.2
Jul 11, 2026
Merged

chore: release v0.13.2#773
edwin-zvs merged 1 commit into
mainfrom
release/0.13.2

Conversation

@edwin-zvs

Copy link
Copy Markdown
Contributor

Summary

  • Bump workspace version from 0.13.1 → 0.13.2 for the next patch release.
  • Updates Cargo.lock package versions accordingly.

Release notes (since v0.13.1)

Test plan

  • cargo build succeeds after version bump
  • After merge: tag v0.13.2 and push to trigger release workflow
  • Verify GitHub Release assets publish successfully

@edwin-zvs
edwin-zvs merged commit 167d830 into main Jul 11, 2026
1 check passed
@edwin-zvs
edwin-zvs deleted the release/0.13.2 branch July 11, 2026 05:28
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