ruff
[ty] Implement streaming for workspace diagnostics
#19657

Merged

[ty] Implement streaming for workspace diagnostics #19657

MichaReiser merged 4 commits into main from micha/diagnostic-streaming

MichaReiser added server

MichaReiser added ty

MichaReiser force pushed from ee18c4dc to 88edacc9 146 days ago

MichaReiser force pushed from 88edacc9 to 6ef1bd48 146 days ago

MichaReiser commented on 2025-07-31

MichaReiser marked this pull request as ready for review 146 days ago

MichaReiser requested a review from

carljm 146 days ago

MichaReiser requested a review from

AlexWaygood 146 days ago

MichaReiser requested a review from

sharkdp 146 days ago

MichaReiser requested a review from

dcreager 146 days ago

MichaReiser force pushed from 6ef1bd48 to 79178dae 146 days ago

MichaReiser force pushed from 79178dae to 2995687c 145 days ago

AlexWaygood removed review request from

AlexWaygood 145 days ago

dhruvmanila approved these changes on 2025-08-04

[ty] Implement streaming for workspace diagnostics

46fe238c

Don't use capabilities for test mode detection

54a2995f

MichaReiser force pushed from 2995687c to 54a2995f 142 days ago

Rename `report_file`

c57b512b

More docs, review comments

a31b3b78

MichaReiser enabled auto-merge (squash) 142 days ago

MichaReiser merged 808c94d5 into main 142 days ago

MichaReiser deleted the micha/diagnostic-streaming branch 142 days ago

Reviewers

dhruvmanila

carljm

sharkdp

dcreager

Assignees

No one assigned

Labels

server ty

Milestone

No milestone