ruff
[red-knot] Remove global `dead_code` from red-knot-server
#17229

Merged

[red-knot] Remove global `dead_code` from red-knot-server #17229

MichaReiser merged 1 commit into main from micha/knot-server-dead-code

MichaReiser requested a review from

carljm 173 days ago

MichaReiser requested a review from

AlexWaygood 173 days ago

MichaReiser requested a review from

sharkdp 173 days ago

MichaReiser requested a review from

dcreager 173 days ago

MichaReiser removed review request from

dcreager 173 days ago

MichaReiser removed review request from

carljm 173 days ago

MichaReiser removed review request from

sharkdp 173 days ago

MichaReiser removed review request from

AlexWaygood 173 days ago

MichaReiser requested a review from

dhruvmanila 173 days ago

MichaReiser added ty

MichaReiser force pushed from 4d448953 to 0fda1ad6 173 days ago

[red-knot] Remove global `dead_code` from red-knot-server

9545855f

MichaReiser force pushed from 0fda1ad6 to 9545855f 173 days ago

carljm approved these changes on 2025-04-06

MichaReiser merged 67f8c30b into main 173 days ago

MichaReiser deleted the micha/knot-server-dead-code branch 173 days ago

Reviewers

carljm

dhruvmanila

Assignees

No one assigned

Labels

Milestone

No milestone