ruff
change diagnostic reporting to check suppressions more eagerly
#17341
Merged
Overview
Commits
5
Changes
View On GitHub

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 1 year ago
BurntSushi BurntSushi requested a review from MichaReiser MichaReiser 1 year 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 1 year ago
BurntSushi BurntSushi force pushed from 68590af9 to f35fff77 1 year ago
BurntSushi BurntSushi marked this pull request as ready for review 1 year ago
BurntSushi BurntSushi requested a review from carljm carljm 1 year ago
BurntSushi BurntSushi requested a review from AlexWaygood AlexWaygood 1 year ago
BurntSushi BurntSushi requested a review from sharkdp sharkdp 1 year ago
BurntSushi BurntSushi requested a review from dcreager dcreager 1 year ago
BurntSushi BurntSushi removed review request from dcreager dcreager 1 year ago
BurntSushi BurntSushi removed review request from carljm carljm 1 year ago
BurntSushi BurntSushi removed review request from sharkdp sharkdp 1 year ago
BurntSushi BurntSushi removed review request from AlexWaygood AlexWaygood 1 year ago
BurntSushi BurntSushi force pushed from f35fff77 to 326472b2 1 year ago
BurntSushi
BurntSushi BurntSushi force pushed from 326472b2 to 6b99e47f 1 year ago
MichaReiser
MichaReiser approved these changes on 2025-04-11
BurntSushi BurntSushi force pushed from 6b99e47f to 28f595bb 1 year 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 1 year ago
BurntSushi BurntSushi merged 7d11ef15 into main 1 year ago
BurntSushi BurntSushi deleted the ag/reporter-refactor branch 1 year ago

Login to write a write a comment.

Login via GitHub

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