ruff
[ty] Rename Type unwrapping methods
#20857
Merged

[ty] Rename Type unwrapping methods #20857

sharkdp
sharkdp [ty] Rename Type unwrapping methods
50a10ec1
sharkdp sharkdp added internal
sharkdp sharkdp requested a review from carljm carljm 1 year ago
sharkdp sharkdp requested a review from AlexWaygood AlexWaygood 1 year ago
sharkdp sharkdp added ty
sharkdp sharkdp requested a review from dcreager dcreager 1 year ago
github-actions
github-actions
AlexWaygood
AlexWaygood approved these changes on 2025-10-14
sharkdp sharkdp merged f73bb45b into main 1 year ago
sharkdp sharkdp deleted the david/rename-type-unwrapping-functions branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone