Repository navigation

Exit with code 1 when a file gives an error to close #728 - #741

Merged

mathiasrw merged 2 commits into

mainfrom

Oct 22, 2026

Merged

Exit with code 1 when a file gives an error to close #728#741
mathiasrw merged 2 commits into
mainfrom
fix/728

Commits on Oct 21, 2026
- Exit with code 1 when a file gives an error to close #728
  mathiasrw
  committed
  cbe0ec4
Commits on Oct 22, 2026
- Let the CLI set the exit code from the number of errors the engine resolves with
  mathiasrw
  committed
  160db43