ruff
[red-knot] Use line/column for server diagnostics if available
#12881

Merged

[red-knot] Use line/column for server diagnostics if available #12881

dhruvmanila merged 1 commit into main from dhruv/diagnostic-range

dhruvmanila added ty

dhruvmanila requested a review from

carljm 1 year ago

dhruvmanila requested a review from

MichaReiser 1 year ago

dhruvmanila requested a review from

AlexWaygood 1 year ago

dhruvmanila changed the title ~~[red-knot] Use line/column for server diagostics if available~~ [red-knot] Use line/column for server diagnostics if available 1 year ago

[red-knot] Use line/column for server diagnostics if available

da13d338

dhruvmanila force pushed from 9fbdf552 to da13d338 1 year ago

MichaReiser approved these changes on 2024-08-14

dhruvmanila merged 05c35b69 into main 1 year ago

dhruvmanila deleted the dhruv/diagnostic-range branch 1 year ago

Reviewers

MichaReiser

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [red-knot] Use line/column for server diagnostics if available #12881 Merged

[red-knot] Use line/column for server diagnostics if available #12881

ruff
[red-knot] Use line/column for server diagnostics if available
#12881

Merged