Skip to content

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

Merged
MichaReiser merged 2 commits intomainfrom
micha/fatal-exit-with-error
Apr 28, 2025
Merged

[red-knot] Use 101 exit code when there's at least one diagnostic with severity 'fatal'#17640
MichaReiser merged 2 commits intomainfrom
micha/fatal-exit-with-error

Commits

Commits on Apr 28, 2025