PR #16354 [red-knot] Handle pipe-errors gracefully

[red-knot] Handle pipe-errors gracefully #16354

MichaReiser merged 1 commit into main from micha/pipe-errors

MichaReiser requested a review from

carljm 345 days ago

MichaReiser requested a review from

AlexWaygood 345 days ago

MichaReiser requested a review from

sharkdp 345 days ago

MichaReiser added ty

MichaReiser requested a review from

BurntSushi 345 days ago

[red-knot] Handle pipe-errors gracefully

ff2f412f

MichaReiser force pushed from 8aeb4f32 to ff2f412f 345 days ago

carljm approved these changes on 2025-02-24

BurntSushi approved these changes on 2025-02-24

MichaReiser merged d895ee00 into main 345 days ago

MichaReiser deleted the micha/pipe-errors branch 345 days ago

Reviewers

BurntSushi

carljm

AlexWaygood

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone