Remove doc mention of judgehost restriction
#2217
Conversation
doc/manual/judging.rst
Outdated
| restricted to certain contests, languages and problems, so that it can be | ||
| the case that a judgehost is available, but not judging an available | ||
| submission. | ||
| *judging* of this submission. Note that it is possible to |
There was a problem hiding this comment.
nit: I would phrase it like this:
"If parallel judging is enabled, multiple judgehosts may pick up and work on the same submission (if there is no queue of pending submissions)."
doc/manual/judging.rst
Outdated
| *judging* of this submission. Note that it is possible to | ||
| parallelize this when only one submission is waiting. | ||
| #. In case that multiple submissions are not judged yet the | ||
| load will be spread over all judgehosts. There is a slight delay |
There was a problem hiding this comment.
Suggested phrasing (how do I do this in this github UI directly?):
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.
There was a problem hiding this comment.
Suggested phrasing (how do I do this in this github UI directly?): 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.
From the files tab, close to the line number you can drag. than you can comment there and there is a symbol [page with plus-minus] where you can change your suggestion.
Added a small part about how to pick up judgings together with parallel judging. This was left over from: DOMjudge#1137 Co-authored-by: Thijs Kinkhorst <[email protected]>
vmcj
force-pushed
the
judgehost_restrictions_removed
branch
from
91e080e to
b522548
Compare
Added a small part about how to pick up judgings together with parallel judging.