-
-
Notifications
You must be signed in to change notification settings - Fork 721
feat(language_server): support workspace/diagnostic
#11414
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat(language_server): support workspace/diagnostic
#11414
Conversation
workpace/diagnosticworkspace/diagnostic
|
Warning This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
How to use the Graphite Merge QueueAdd either label to this PR to merge it via the merge queue:
You must have a Graphite account in order to use the merge queue. Sign up using this link. An organization admin has enabled the Graphite Merge Queue in this repository. Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue. This stack of pull requests is managed by Graphite. Learn more about stacking. |
CodSpeed Instrumentation Performance ReportMerging #11414 will create unknown performance changesComparing Summary
Benchmarks breakdown
|
7e4b711 to
e519d9e
Compare
be09182 to
f752261
Compare
e519d9e to
18dc87f
Compare
f752261 to
4e3e59f
Compare
4e3e59f to
d384b02
Compare
d384b02 to
fd1fc22
Compare
4c0e32f to
d0fbfb4
Compare
d0fbfb4 to
ff92bd2
Compare
fd1fc22 to
1e796d2
Compare
ff92bd2 to
320977c
Compare
1e796d2 to
2dff221
Compare

on hold: first support

textdocument/diagnostics: