Typed criterion verdicts on grading results#487

solvemproblr wants to merge 2 commits into

mainhud-evals/hud-python:mainfrom

asa/expose-criterion-result-in-evaluation-resulthud-evals/hud-python:asa/expose-criterion-result-in-evaluation-resultCopy head branch name to clipboard