ruff
[red-knot] Display definition range in trace logs
#14955
Merged

[red-knot] Display definition range in trace logs #14955

dhruvmanila merged 2 commits into main from dhruv/definition-range
dhruvmanila
dhruvmanila Display definition range in trace logs
e31fb854
dhruvmanila dhruvmanila added ty
dhruvmanila dhruvmanila requested a review from carljm carljm 363 days ago
dhruvmanila dhruvmanila requested a review from MichaReiser MichaReiser 363 days ago
dhruvmanila dhruvmanila requested a review from AlexWaygood AlexWaygood 363 days ago
dhruvmanila dhruvmanila requested a review from sharkdp sharkdp 363 days ago
github-actions
AlexWaygood
AlexWaygood approved these changes on 2024-12-13
MichaReiser
dhruvmanila Implement `Ranged` trait
c9e398a0
dhruvmanila dhruvmanila changed the title Display definition range in trace logs [red-knot] Display definition range in trace logs 363 days ago
dhruvmanila dhruvmanila enabled auto-merge (squash) 363 days ago
dhruvmanila dhruvmanila merged 3533d7f5 into main 363 days ago
dhruvmanila dhruvmanila deleted the dhruv/definition-range branch 363 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone