Skip to content

chore: release v0.13.1#103

Open
tenequm wants to merge 1 commit into
mainfrom
release-plz-2026-07-08T11-30-56Z
Open

chore: release v0.13.1#103
tenequm wants to merge 1 commit 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-08

📚 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 from 5040288 to f5ee695 Compare July 8, 2026 15:51
@tenequm tenequm force-pushed the release-plz-2026-07-08T11-30-56Z branch from f5ee695 to a159f81 Compare July 8, 2026 19:54
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