Skip to content

feat(0.31.0): JudgeScoresRecord on RunRecord.outcome#66

Merged
tangletools merged 1 commit into
mainfrom
feat/0.31.0-judge-scores-record
May 20, 2026
Merged

feat(0.31.0): JudgeScoresRecord on RunRecord.outcome#66
tangletools merged 1 commit into
mainfrom
feat/0.31.0-judge-scores-record

Commits

Commits on May 20, 2026