Skip to content

chore(main): release 1.10.0 - #212

Merged
noah-emp merged 1 commit into
mainfrom
release-please--branches--main
Sep 30, 2026
Merged

noah-emp merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 26, 2026 •

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.10.0 (2026-09-30)

Features

  • build, run and prove under bend 2.0.34; --help prints the usage page (#214) (c9c967e)

Performance Improvements

  • lsp: semantic tokens up to 10x faster, symbols up to 2.8x on large files (#211) (85f175d)

This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from bf6c3be to 75bfcbc Compare September 30, 2026 00:14
@noah-emp
noah-emp merged commit 8759e4e into main Sep 30, 2026
1 check passed
@noah-emp
noah-emp deleted the release-please--branches--main branch September 30, 2026 00:16
@github-actions

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