Skip to content

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

Merge main into fix/judge-failures-as-error

940065f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar