ruff
[red-knot] Use 101 exit code when there's at least one diagnostic with severity 'fatal'
#17640

Merged

[red-knot] Use 101 exit code when there's at least one diagnostic with severity 'fatal' #17640

MichaReiser merged 2 commits into main from micha/fatal-exit-with-error

[red-knot] Use 'error' exit code when there's at least one diagnostic…

68f21628

MichaReiser requested a review from

carljm 242 days ago

MichaReiser requested a review from

AlexWaygood 242 days ago

MichaReiser requested a review from

sharkdp 242 days ago

MichaReiser requested a review from

dcreager 242 days ago

MichaReiser added ty

sharkdp approved these changes on 2025-04-28

Use error code 101

73c3c142

MichaReiser changed the title ~~[red-knot] Use 'error' exit code when there's at least one diagnostic with severity 'fatal'~~ [red-knot] Use 101 exit code when there's at least one diagnostic with severity 'fatal' 240 days ago

MichaReiser merged dbc137c9 into main 240 days ago

MichaReiser deleted the micha/fatal-exit-with-error branch 240 days ago

Reviewers

sharkdp

carljm

AlexWaygood

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [red-knot] Use 101 exit code when there's at least one diagnostic with severity 'fatal' #17640 Merged

[red-knot] Use 101 exit code when there's at least one diagnostic with severity 'fatal' #17640

ruff
[red-knot] Use 101 exit code when there's at least one diagnostic with severity 'fatal'
#17640

Merged