ruff
[red-knot] Add `Type.definition` method
#17153
Merged

[red-knot] Add `Type.definition` method #17153

MichaReiser merged 1 commit into main from micha/type-definition
MichaReiser
MichaReiser MichaReiser force pushed from 4217f6be to 9ef8f260 177 days ago
MichaReiser MichaReiser added ty
github-actions
github-actions
MichaReiser MichaReiser force pushed from 9ef8f260 to 11627539 177 days ago
MichaReiser MichaReiser force pushed from 11627539 to 3f3fe04b 177 days ago
MichaReiser MichaReiser force pushed from 3f3fe04b to d3fbb69a 177 days ago
MichaReiser MichaReiser marked this pull request as ready for review 177 days ago
MichaReiser MichaReiser requested a review from carljm carljm 177 days ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 177 days ago
MichaReiser MichaReiser requested a review from sharkdp sharkdp 177 days ago
MichaReiser MichaReiser requested a review from dcreager dcreager 177 days ago
AlexWaygood AlexWaygood removed review request from AlexWaygood AlexWaygood 177 days ago
carljm
carljm approved these changes on 2025-04-02
carljm
carljm commented on 2025-04-02
MichaReiser MichaReiser force pushed from d3fbb69a to 6fd65ce0 175 days ago
MichaReiser [red-knot] Add `Type.definition` method
0144d7c4
MichaReiser MichaReiser force pushed from 6fd65ce0 to 0144d7c4 175 days ago
MichaReiser MichaReiser merged ffa824e0 into main 175 days ago
MichaReiser MichaReiser deleted the micha/type-definition branch 175 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone