From 91e080e9f8355059098cf79e634a002e2cf0f551 Mon Sep 17 00:00:00 2001 From: MCJ Vasseur <14887731+vmcj@users.noreply.github.com> Date: Fri, 24 Nov 2023 11:40:49 +0100 Subject: [PATCH] Update doc/manual/judging.rst Co-authored-by: Thijs Kinkhorst --- doc/manual/judging.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual/judging.rst b/doc/manual/judging.rst index 91a0b54c56f..509d1d2f472 100644 --- a/doc/manual/judging.rst +++ b/doc/manual/judging.rst @@ -14,7 +14,7 @@ The flow of an incoming submission is as follows. (if there is no queue of pending submissions). #. To avoid starving other teams from judgehost resources, submissions from teams that submit while they have other submissions - in the judge queue will be penalized by downgrading their judging priority. + in the judge queue will get lower priority than a submission from a team that has no earlier submission being judged yet. #. If verification is not required, the result is automatically recorded and the team can view the result and the scoreboard is updated (unless after the scoreboard freeze). A judge can