ruff
[ty] Fix outdated version in publish diagnostics after `didChange`
#21943

Merged

[ty] Fix outdated version in publish diagnostics after `didChange` #21943

MichaReiser merged 1 commit into main from micha/fix-outdated-publish-diagnostics-version

MichaReiser added bug

MichaReiser added server

MichaReiser added ty

MichaReiser requested a review from

carljm 17 days ago

MichaReiser requested a review from

sharkdp 17 days ago

MichaReiser requested a review from

dcreager 17 days ago

MichaReiser requested a review from

dhruvmanila 17 days ago

MichaReiser removed review request from

dcreager 17 days ago

MichaReiser removed review request from

sharkdp 17 days ago

[ty] Fix outdated version in publish diagnostics after `didChange`

f72a5e64

MichaReiser force pushed from 23d1e743 to f72a5e64 17 days ago

dhruvmanila approved these changes on 2025-12-12

MichaReiser merged 315bf80e into main 17 days ago

MichaReiser deleted the micha/fix-outdated-publish-diagnostics-version branch 17 days ago

Reviewers

dhruvmanila

carljm

Assignees

No one assigned

Labels

bug server ty

Milestone

No milestone