Skip to content

Use only judging_run judgetasks to get script differences.#2364

Merged
nickygerritsen merged 1 commit intoDOMjudge:mainfrom nickygerritsen:issue/judgetask-error-typeMar 16, 2024
+4-1

Commits

Commits on Mar 15, 2024