Skip to content

Commit b05be23

Browse files
committed
Fix typos in task versioning documentation.
1 parent a9216cf commit b05be23

1 file changed

Lines changed: 5 additions & 2 deletions

File tree

docs/Task versioning.rst

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ Task versioning allows admins to store several sets of parameters for each task
99
For example, it is quite common to realize that one input file is wrong. With task versioning, admins can clone the original dataset (the set of parameters describing the behavior of the task), change the wrong input file with another one, or delete it, launch the evaluation on the new dataset, see which contestants have been affected by the problem, and finally swap the two datasets to make the new one live and visible by the contestants.
1010

1111
The advantages over the situation without task versioning are several:
12+
1213
- there is no need to take down scores during the re-evaluation with the new input;
1314
- it is possible to make sure that the new input works well without showing anything to the contestants;
1415
- if the problem affects just a few contestants, it is possible to notify just them, and the others will be completely unaffected.
@@ -17,18 +18,20 @@ Datasets
1718
========
1819

1920
A dataset is a version of the sets of parameters of a task that can be changed and tested in background. These parameters are:
21+
2022
- time and memory limits;
2123
- input and output files;
2224
- libraries and graders;
2325
- task type and score type.
2426

2527
Datasets can be viewed and edited in the task page. They can be created from scratch or cloned from existing ones. Of course, during a contest cloning the live dataset is the most used way of creating a new one.
2628

27-
Submissions are evaluated as they arrive against the live dataset and all other datasets with background judging enabled, or on demand when the amdins require it.
29+
Submissions are evaluated as they arrive against the live dataset and all other datasets with background judging enabled, or on demand when the admins require it.
2830

2931
Each task has exactly one live dataset, whose evaluations and scores are shown to the contestants. To change the live dataset, just click on "Make live" on the desired dataset. Admins will then be prompted with a summary of what changed between the new dataset and the previously active, and can decide to cancel or go ahead, possibly notifying the contestants with a message.
3032

31-
Remember that the summary looks at the scores currently stored for each submission. This means that if you cloned a dataset and changed an input, the scores will still be the old ones: you need to launch a recompilation, reevaluation, or rescoring, depending on what you changed, before seeing the new scores.
33+
.. note::
34+
Remember that the summary looks at the scores currently stored for each submission. This means that if you cloned a dataset and changed an input, the scores will still be the old ones: you need to launch a recompilation, reevaluation, or rescoring, depending on what you changed, before seeing the new scores.
3235

3336
After switching live dataset, scores will be resent to RankingWebServer automatically.
3437

0 commit comments

Comments
 (0)