Repository navigation

Report judge failures as ERROR instead of inventing a grade - #135

Merged

SushantGautam merged 2 commits into

mainfrom

fix/judge-failures-as-error

Nov 3, 2026

Merged

Report judge failures as ERROR instead of inventing a grade#135
SushantGautam merged 2 commits into
mainfrom
fix/judge-failures-as-error

Commits on Nov 3, 2026
- Report judge failures as ERROR instead of inventing a grade
  Robrusi
  committed
  1bee6fb
- Merge main into fix/judge-failures-as-error
  
  SushantGautam
  and
  Copilot
  committed
  940065f