ruff
Create Unknown rule diagnostics with a source range
#15648
Merged

Create Unknown rule diagnostics with a source range #15648

MichaReiser merged 3 commits into main from micha/ranged-rule-diagnostics
MichaReiser
MichaReiser MichaReiser added ty
MichaReiser MichaReiser force pushed from e1d941a3 to 10b8841e 237 days ago
github-actions
MichaReiser
MichaReiser commented on 2025-01-22
MichaReiser
MichaReiser commented on 2025-01-22
MichaReiser
MichaReiser commented on 2025-01-22
MichaReiser MichaReiser force pushed from a6bf8769 to 5fa96e4c 236 days ago
MichaReiser MichaReiser marked this pull request as ready for review 236 days ago
MichaReiser MichaReiser requested a review from carljm carljm 236 days ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 236 days ago
MichaReiser MichaReiser requested a review from sharkdp sharkdp 236 days ago
carljm
carljm approved these changes on 2025-01-22
MichaReiser MichaReiser changed the title WIP: Create Unknown rule diagnostics with a source range Create Unknown rule diagnostics with a source range 236 days ago
Base automatically changed from micha/rule-table to main 235 days ago
MichaReiser Add `RangedValue`
fe6f4703
MichaReiser Use `RangedValue` in `Options`
997bd03e
MichaReiser MichaReiser force pushed from 5fa96e4c to 997bd03e 235 days ago
MichaReiser Refine comment
deda0c2d
MichaReiser MichaReiser merged 05ea77b1 into main 235 days ago
MichaReiser MichaReiser deleted the micha/ranged-rule-diagnostics branch 235 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone