ruff
[ty] Add progress reporting to workspace diagnostics
#19616

Merged

[ty] Add progress reporting to workspace diagnostics #19616

MichaReiser merged 2 commits into main from micha/workspace-diagnostics-progress

MichaReiser added server

MichaReiser added ty

MichaReiser added server

MichaReiser added ty

MichaReiser force pushed from 43c86f94 to 5d4ed5c7 168 days ago

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

MichaReiser requested a review from

carljm 168 days ago

MichaReiser requested a review from

AlexWaygood 168 days ago

MichaReiser requested a review from

sharkdp 168 days ago

MichaReiser requested a review from

dcreager 168 days ago

MichaReiser removed review request from

dcreager 168 days ago

MichaReiser removed review request from

carljm 168 days ago

MichaReiser removed review request from

sharkdp 168 days ago

MichaReiser removed review request from

AlexWaygood 168 days ago

MichaReiser requested a review from

dhruvmanila 168 days ago

MichaReiser changed the title ~~[ty] Add progress report to workspace diagnostics~~ [ty] Add progress reporting to workspace diagnostics 168 days ago

dhruvmanila approved these changes on 2025-07-30

dhruvmanila commented on 2025-07-30

Base automatically changed from micha/cache-workspace-diagnostics to main 167 days ago

[ty] Add progress report to workspace diagnostics

f8d0342e

MichaReiser force pushed from 5d4ed5c7 to 99e5ecaf 167 days ago

Code review feedback

ad093b76

MichaReiser force pushed from 99e5ecaf to ad093b76 167 days ago

MichaReiser enabled auto-merge (squash) 167 days ago

MichaReiser merged 6237ecb4 into main 167 days ago

MichaReiser deleted the micha/workspace-diagnostics-progress branch 167 days ago

Reviewers

dhruvmanila

Assignees

No one assigned

Labels

server ty

Milestone

No milestone

ruff [ty] Add progress reporting to workspace diagnostics #19616 Merged

[ty] Add progress reporting to workspace diagnostics #19616

ruff
[ty] Add progress reporting to workspace diagnostics
#19616

Merged