Skip to content

chore: release v0.13.1#103

Merged
tenequm merged 2 commits into
mainfrom
release-plz-2026-07-08T11-30-56Z
Jul 13, 2026
Merged

chore: release v0.13.1#103
tenequm merged 2 commits into
mainfrom
release-plz-2026-07-08T11-30-56Z

Conversation

@tenequm

@tenequm tenequm commented Jul 8, 2026

Copy link
Copy Markdown
Owner

🤖 New release

  • pond-db: 0.13.0 -> 0.13.1
Changelog

0.13.1 - 2026-07-13

🐛 Bug Fixes

  • ship SKILL.md in the published crate so cargo install compiles (#105) (4c2213e)

📚 Documentation

  • site: lead the demo with the pond status scene (ba67eca)

🧹 Chores

  • bench: add fmindex_probe substring-index comparison harness (a9c38cf)

Full Changelog: v0.13.0...v0.13.1


This PR was generated with release-plz.

@tenequm
tenequm force-pushed the release-plz-2026-07-08T11-30-56Z branch 2 times, most recently from f5ee695 to a159f81 Compare July 8, 2026 19:54
@tenequm
tenequm force-pushed the release-plz-2026-07-08T11-30-56Z branch from a159f81 to ce37299 Compare July 13, 2026 12:16
@tenequm tenequm self-assigned this Jul 13, 2026
@tenequm
tenequm merged commit dffe24b into main Jul 13, 2026
3 checks passed
@tenequm
tenequm deleted the release-plz-2026-07-08T11-30-56Z branch July 13, 2026 12:23
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