Skip to content

[red-knot] --exit-zero #15500

Closed
#15746
Closed
[red-knot] --exit-zero#15500
#15746
Labels
help wantedContributions especially welcometyMulti-file analysis & type inference
Milestone
Red Knot Q1 2025
@MichaReiser

Description

@MichaReiser
MichaReiser
opened on Jan 15, 2025

Exit with zero even when there are (error) diagnostics.

Metadata

Metadata

Assignees

No one assigned

    Labels

    help wantedContributions especially welcometyMulti-file analysis & type inference

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      ⚡