Repository navigation

Generally reject exit codes other than 0 and 1 - #163

Merged

lolpack merged 2 commits into

lolpack:mainfrom

sharkdp:codex/checker-exit-codes

Nov 5, 2026

Merged

Generally reject exit codes other than 0 and 1#163
lolpack merged 2 commits into
lolpack:mainfrom
sharkdp:codex/checker-exit-codes

Commits on Nov 3, 2026
- Reject fatal exit codes from all benchmarked type checkers
  sharkdp
  committed
  6c5432d
Commits on Nov 5, 2026
- Test benchmark checker exit codes with and without output
  sharkdp
  committed
  09cb3c1