ruff
[ty] Remove now-unnecessary Divergent check
#21935

Merged

[ty] Remove now-unnecessary Divergent check #21935

sharkdp merged 1 commit into main from david/remove-divergent-check

[ty] Remove now-unnecessary Divergent check

c6d4f5e2

sharkdp requested a review from

carljm 167 days ago

sharkdp added internal

sharkdp requested a review from

AlexWaygood 167 days ago

sharkdp requested a review from

dcreager 167 days ago

sharkdp added ty

sharkdp closed this 167 days ago

sharkdp reopened this 166 days ago

AlexWaygood approved these changes on 2025-12-13

sharkdp merged 82a7598a into main 166 days ago

sharkdp deleted the david/remove-divergent-check branch 166 days ago

Reviewers

AlexWaygood

carljm

dcreager

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone