ruff
[ty] remove `lint:` prefix from top-level diagnostic preamble
#17987

Merged

[ty] remove `lint:` prefix from top-level diagnostic preamble #17987

BurntSushi merged 5 commits into main from ag/tweak-diagnostic-preamble

BurntSushi requested a review from

carljm 219 days ago

BurntSushi requested a review from

AlexWaygood 219 days ago

BurntSushi requested a review from

sharkdp 219 days ago

BurntSushi requested a review from

dcreager 219 days ago

BurntSushi requested a review from

MichaReiser 219 days ago

BurntSushi removed review request from

dcreager 219 days ago

BurntSushi removed review request from

carljm 219 days ago

BurntSushi removed review request from

sharkdp 219 days ago

ty: get rid of `lint:` prefix in ID for diagnostic rendering

b8eab99c

ruff_db: a small tweak to remove empty message case

6b3eea5d

MichaReiser added ty

MichaReiser added diagnostics

MichaReiser commented on 2025-05-09

MichaReiser approved these changes on 2025-05-09

ty: switch to use `annotate-snippets` ID functionality

eeae412f

BurntSushi force pushed from 8e968a23 to 860c71fa 219 days ago

ruff_db: completely rip `lint:` prefix out

a08c6cdc

ty: add more snapshot updates

d27c5c74

BurntSushi force pushed from 35852fcd to d27c5c74 219 days ago

AlexWaygood approved these changes on 2025-05-09

BurntSushi merged 861ef250 into main 219 days ago

BurntSushi deleted the ag/tweak-diagnostic-preamble branch 219 days ago

Reviewers

AlexWaygood

MichaReiser

Assignees

No one assigned

Labels

ty diagnostics

Milestone

No milestone

ruff [ty] remove `lint:` prefix from top-level diagnostic preamble #17987 Merged

[ty] remove `lint:` prefix from top-level diagnostic preamble #17987

ruff
[ty] remove `lint:` prefix from top-level diagnostic preamble
#17987

Merged