diff options
Diffstat (limited to 'settings.example.py')
| -rw-r--r-- | settings.example.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/settings.example.py b/settings.example.py index 2d30c1b..c859ac3 100644 --- a/settings.example.py +++ b/settings.example.py @@ -12,7 +12,8 @@ RUBRIC = { "groupFailSubmit": [-2.5, 'group submit absence, -2.5'], "groupUntidy": [-0.25, 'group branch untidy, -0.25'], "jojFailHomework": [-0.5, 'JOJ homework not passed, -0.5'], - "jojFailExercise": [-0.25, 'JOJ exercise not passed, -0.25'] + "jojFailExercise": [-0.25, 'JOJ exercise not passed, -0.25'], + "jojFailCompile": [-1, 'JOJ fail to compile, -1'], } JOJ_INFO = { "lang": |