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
MichaReiser
MichaReiser [red-knot] Use 'error' exit code when there's at least one diagnostic…
68f21628
MichaReiser MichaReiser requested a review from carljm carljm 242 days ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 242 days ago
MichaReiser MichaReiser requested a review from sharkdp sharkdp 242 days ago
MichaReiser MichaReiser requested a review from dcreager dcreager 242 days ago
MichaReiser MichaReiser added ty
github-actions
sharkdp
sharkdp approved these changes on 2025-04-28
MichaReiser
AlexWaygood
sharkdp
MichaReiser Use error code 101
73c3c142
MichaReiser 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
MichaReiser MichaReiser merged dbc137c9 into main 240 days ago
MichaReiser MichaReiser deleted the micha/fatal-exit-with-error branch 240 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone