PR #19410 [ty] Shrink reachability constraints

[ty] Shrink reachability constraints #19410

MichaReiser merged 1 commit into main from micha/shrink-reachability-constraints

[ty] Shrink reachability constraints

ea33dad0

MichaReiser added ty

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

MichaReiser requested a review from

carljm 62 days ago

MichaReiser requested a review from

AlexWaygood 62 days ago

MichaReiser requested a review from

sharkdp 62 days ago

MichaReiser requested a review from

dcreager 62 days ago

dcreager approved these changes on 2025-07-17

AlexWaygood approved these changes on 2025-07-17

MichaReiser merged 1765014b into main 62 days ago

MichaReiser deleted the micha/shrink-reachability-constraints branch 62 days ago

Reviewers

AlexWaygood

dcreager

carljm

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone