Skip to content

Basic implementation of partial scoring.#3047

Draft
meisterT wants to merge 4 commits intoDOMjudge:mainfrom
meisterT:partial_scoring
Draft

Basic implementation of partial scoring.#3047
meisterT wants to merge 4 commits intoDOMjudge:mainfrom
meisterT:partial_scoring

Commits

Commits on Aug 3, 2025