ruff
[ty] Resolve overloads for hovers
#21417
Merged
Overview
Commits
3
Changes
View On GitHub

[ty] Resolve overloads for hovers #21417

Gankra merged 3 commits into main from gankra/overloads
Gankra
Gankra Resolve overloads for hovers
89236a3b
Gankra Gankra added server
Gankra Gankra added ty
Gankra
astral-sh-bot
astral-sh-bot
Gankra only apply the rule if non-trivial
3a10f874
Gankra cleanup implementation
dcc451d4
Gankra Gankra marked this pull request as ready for review 261 days ago
Gankra Gankra requested a review from carljm carljm 261 days ago
Gankra Gankra requested a review from AlexWaygood AlexWaygood 261 days ago
Gankra Gankra requested a review from sharkdp sharkdp 261 days ago
Gankra Gankra requested a review from dcreager dcreager 261 days ago
Gankra Gankra requested a review from MichaReiser MichaReiser 261 days ago
Gankra
Gankra commented on 2025-11-13
Gankra
Gankra commented on 2025-11-13
carljm carljm removed review request from carljm carljm 261 days ago
MichaReiser MichaReiser removed review request from AlexWaygood AlexWaygood 260 days ago
MichaReiser MichaReiser removed review request from sharkdp sharkdp 260 days ago
MichaReiser MichaReiser removed review request from dcreager dcreager 260 days ago
MichaReiser MichaReiser requested a review from dhruvmanila dhruvmanila 260 days ago
MichaReiser
MichaReiser commented on 2025-11-14
MichaReiser
MichaReiser commented on 2025-11-17
dhruvmanila
dhruvmanila commented on 2025-11-17
MichaReiser
Gankra
MichaReiser
Gankra
MichaReiser
MichaReiser approved these changes on 2025-11-20
Gankra
Gankra Gankra merged 6e84f4fd into main 254 days ago
Gankra Gankra deleted the gankra/overloads branch 254 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
server ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum