ruff
[ty] Reachability constraints: minor documentation fixes
#21774

Merged

[ty] Reachability constraints: minor documentation fixes #21774

sharkdp merged 1 commit into main from david/reachability-constraints-docu-updates

[ty] Reachability constraints: minor documentation fixes

4c1af05f

sharkdp added internal

sharkdp requested a review from

carljm 9 days ago

sharkdp requested a review from

AlexWaygood 9 days ago

sharkdp added ty

sharkdp requested a review from

dcreager 9 days ago

dcreager approved these changes on 2025-12-03

AlexWaygood approved these changes on 2025-12-03

sharkdp merged d6e472f2 into main 9 days ago

sharkdp deleted the david/reachability-constraints-docu-updates branch 9 days ago

Reviewers

AlexWaygood

dcreager

carljm

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone