Skip to content

Implement new results rules#2617

Merged
nickygerritsen merged 8 commits intoDOMjudge:mainfrom
nickygerritsen:new-results
Jul 28, 2024
Merged

Implement new results rules#2617
nickygerritsen merged 8 commits intoDOMjudge:mainfrom
nickygerritsen:new-results

Commits

Commits on Jul 26, 2024