ruff
change diagnostic reporting to check suppressions more eagerly
#17341
Merged

change diagnostic reporting to check suppressions more eagerly #17341

BurntSushi merged 5 commits into main from ag/reporter-refactor
BurntSushi
BurntSushi BurntSushi force pushed from 5ab3dfa7 to 01311467 156 days ago
BurntSushi BurntSushi requested a review from MichaReiser MichaReiser 156 days ago
github-actions
AlexWaygood AlexWaygood added ty
AlexWaygood AlexWaygood added diagnostics
MichaReiser
BurntSushi ruff_db: tweak APIs accepting a diagnostic message
20a5a0b3
BurntSushi BurntSushi force pushed from 01311467 to 68590af9 155 days ago
BurntSushi BurntSushi force pushed from 68590af9 to f35fff77 155 days ago
BurntSushi BurntSushi marked this pull request as ready for review 155 days ago
BurntSushi BurntSushi requested a review from carljm carljm 155 days ago
BurntSushi BurntSushi requested a review from AlexWaygood AlexWaygood 155 days ago
BurntSushi BurntSushi requested a review from sharkdp sharkdp 155 days ago
BurntSushi BurntSushi requested a review from dcreager dcreager 155 days ago
BurntSushi BurntSushi removed review request from dcreager dcreager 155 days ago
BurntSushi BurntSushi removed review request from carljm carljm 155 days ago
BurntSushi BurntSushi removed review request from sharkdp sharkdp 155 days ago
BurntSushi BurntSushi removed review request from AlexWaygood AlexWaygood 155 days ago
BurntSushi BurntSushi force pushed from f35fff77 to 326472b2 155 days ago
BurntSushi
BurntSushi BurntSushi force pushed from 326472b2 to 6b99e47f 155 days ago
MichaReiser
MichaReiser approved these changes on 2025-04-11
BurntSushi BurntSushi force pushed from 6b99e47f to 28f595bb 155 days ago
BurntSushi red_knot_python_semantic: tweak naming
c34381f2
BurntSushi red_knot_python_semantic: make the guards implement DerefMut
860c2da7
BurntSushi ruff_db: add primary annotation message mutators on `Diagnostic`
f8d51bf1
BurntSushi red_knot_python_semantic: make `TextRange` required for reporting a l…
14c9679c
BurntSushi BurntSushi force pushed from 28f595bb to 14c9679c 155 days ago
BurntSushi BurntSushi merged 7d11ef15 into main 155 days ago
BurntSushi BurntSushi deleted the ag/reporter-refactor branch 155 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone