ruff
[red-knot] Don't panic when `primary-span` is missing while panicking
#17799

Merged

[red-knot] Don't panic when `primary-span` is missing while panicking #17799

MichaReiser merged 1 commit into main from micha/dont-panic-while-panicking

MichaReiser requested a review from

carljm 223 days ago

MichaReiser requested a review from

AlexWaygood 223 days ago

MichaReiser requested a review from

sharkdp 223 days ago

MichaReiser requested a review from

dcreager 223 days ago

MichaReiser requested a review from

BurntSushi 223 days ago

MichaReiser added ty

carljm approved these changes on 2025-05-02

MichaReiser force pushed from a7007823 to 020a37dd 223 days ago

[red-knot] Don't panic when `primary-span` is missing while panicking

fe15a6f6

MichaReiser force pushed from 020a37dd to fe15a6f6 223 days ago

MichaReiser closed this 223 days ago

MichaReiser reopened this 223 days ago

MichaReiser merged f7cae4ff into main 223 days ago

MichaReiser deleted the micha/dont-panic-while-panicking branch 223 days ago

BurntSushi commented on 2025-05-03

Reviewers

carljm

BurntSushi

AlexWaygood

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone