Skip to content

chore: release v0.1.3 - #34

Merged
buffrr merged 1 commit into
mainfrom
release-plz-2026-08-03T16-29-01Z
Aug 3, 2026
Merged

chore: release v0.1.3#34
buffrr merged 1 commit into
mainfrom
release-plz-2026-08-03T16-29-01Z

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

🤖 New release

  • spacedb: 0.1.2 -> 0.1.3
Changelog

0.1.3 - 2026-08-03

Bug Fixes

  • (prove) Trim non-subtree keys from both ends of the sorted key slice

Chore

  • (lint) Fix clippy errors under -D warnings


This PR was generated with release-plz.

@buffrr
buffrr merged commit 7f85680 into main Aug 3, 2026
8 checks passed
@buffrr
buffrr deleted the release-plz-2026-08-03T16-29-01Z branch August 3, 2026 16:32
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