Skip to content

Release/0.5.2-improving-language-server-performance - #41

Merged
Fred-Wu merged 23 commits into
mainfrom
release/0.5.2-language-server-performance
Oct 7, 2026
Merged

Fred-Wu merged 23 commits into
mainfrom
release/0.5.2-language-server-performance

Conversation

@Fred-Wu

@Fred-Wu Fred-Wu commented Oct 5, 2026

Copy link
Copy Markdown
Owner

No description provided.

@Fred-Wu
Fred-Wu force-pushed the release/0.5.2-language-server-performance branch 2 times, most recently from 5486a43 to cca989b Compare October 5, 2026 10:10
@Fred-Wu
Fred-Wu force-pushed the release/0.5.2-language-server-performance branch from cca989b to 38d9093 Compare October 5, 2026 10:11
@Fred-Wu
Fred-Wu force-pushed the release/0.5.2-language-server-performance branch from c3be381 to b7ee3f4 Compare October 5, 2026 11:33
@Fred-Wu
Fred-Wu force-pushed the release/0.5.2-language-server-performance branch 3 times, most recently from df599ce to 63ec73e Compare October 6, 2026 09:48
@Fred-Wu
Fred-Wu force-pushed the release/0.5.2-language-server-performance branch 2 times, most recently from ca0f15f to 43f570c Compare October 7, 2026 04:34
@Fred-Wu
Fred-Wu force-pushed the release/0.5.2-language-server-performance branch from 6451e65 to 9a59cdb Compare October 7, 2026 04:34
@Fred-Wu
Fred-Wu marked this pull request as ready for review October 7, 2026 07:10
@Fred-Wu
Fred-Wu merged commit a019737 into main Oct 7, 2026
8 of 9 checks passed
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