Skip to content

chore(main): release 0.31.1 - #130

Merged
cathaysia merged 1 commit into
mainfrom
release-please--branches--main
Jul 27, 2026
Merged

chore(main): release 0.31.1#130
cathaysia merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@cathaysia

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.31.1 (2026-07-10)

Bug Fixes

  • zed: add syntax highlighting and pin grammar revision (b5e2020)

This PR was generated with Release Please. See documentation.

@cathaysia

Copy link
Copy Markdown
Contributor Author

🤖 This pull request will be closed in 15 days if there are no new non-automation comments.

tracked by #31

@cathaysia
cathaysia merged commit c207ba9 into main Jul 27, 2026
3 checks passed
@cathaysia
cathaysia deleted the release-please--branches--main branch July 27, 2026 08:29
@cathaysia

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant