ruff
[ty] Don't send publish diagnostics for clients supporting pull diagnostics
#21772

Merged

[ty] Don't send publish diagnostics for clients supporting pull diagnostics #21772

MichaReiser merged 3 commits into main from micha/did-changed-watched-files-publish-diagnostics

MichaReiser requested a review from

carljm 173 days ago

MichaReiser added bug

MichaReiser requested a review from

sharkdp 173 days ago

MichaReiser added server

MichaReiser requested a review from

dcreager 173 days ago

MichaReiser added bug

MichaReiser added server

MichaReiser force pushed from 50155266 to 3abadc29 173 days ago

[ty] Don't send publish diagnostics for clients supporting pull diagn…

1e71d29c

MichaReiser force pushed from 3abadc29 to 1e71d29c 173 days ago

MichaReiser requested a review from

AlexWaygood 173 days ago

AlexWaygood removed review request from

AlexWaygood 173 days ago

AlexWaygood added ty

Fix clippy warnings

a1f5e7f7

now fmt

e735dbb8

carljm removed review request from

carljm 172 days ago

carljm requested a review from

dhruvmanila 172 days ago

dhruvmanila approved these changes on 2025-12-04

MichaReiser merged a9f2bb41 into main 172 days ago

MichaReiser deleted the micha/did-changed-watched-files-publish-diagnostics branch 172 days ago

Reviewers

dhruvmanila

sharkdp

dcreager

Assignees

No one assigned

Labels

bug server ty

Milestone

No milestone