ruff
[red-knot] Diagnostic for possibly unbound imports
#14281
Merged

[red-knot] Diagnostic for possibly unbound imports #14281

sharkdp merged 3 commits into main from david/possibly-unbound-imports
sharkdp
sharkdp [red-knot] Diagnostic for possibly unbound imports
a2f2e53c
sharkdp sharkdp requested a review from carljm carljm 309 days ago
sharkdp sharkdp requested a review from MichaReiser MichaReiser 309 days ago
sharkdp sharkdp requested a review from AlexWaygood AlexWaygood 309 days ago
github-actions
MichaReiser
MichaReiser commented on 2024-11-11
AlexWaygood AlexWaygood added ty
AlexWaygood
AlexWaygood approved these changes on 2024-11-11
carljm
carljm
carljm approved these changes on 2024-11-11
MichaReiser
sharkdp Adapt TODO comment
b99b2e7e
sharkdp Shorter diagnostic message
09c4a497
sharkdp
sharkdp sharkdp merged 3bef2366 into main 309 days ago
sharkdp sharkdp deleted the david/possibly-unbound-imports branch 309 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone