ruff
[red-knot] Allow any `Ranged` argument for `report_lint` and `report_diagnostic`
#16252
Merged
Overview
Commits
1
Changes
View On GitHub

[red-knot] Allow any `Ranged` argument for `report_lint` and `report_diagnostic` #16252

MichaReiser merged 1 commit into main from micha/report-non-nodes
MichaReiser
MichaReiser MichaReiser requested a review from carljm carljm 1 year ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 1 year ago
MichaReiser MichaReiser requested a review from sharkdp sharkdp 1 year ago
MichaReiser MichaReiser added ty
MichaReiser MichaReiser force pushed from a1751a8e to 25cce392 1 year ago
AlexWaygood
AlexWaygood approved these changes on 2025-02-19
MichaReiser [red-knot] Allow any `Ranged` argument for `report_lint` and `report_…
66372f15
MichaReiser MichaReiser force pushed from 25cce392 to 66372f15 1 year ago
MichaReiser MichaReiser merged 55ea0940 into main 1 year ago
MichaReiser MichaReiser deleted the micha/report-non-nodes branch 1 year ago

Login to write a write a comment.

Login via GitHub

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