diff options
author | BoYanZh <32470225+BoYanZh@users.noreply.github.com> | 2020-10-02 12:03:05 +0800 |
---|---|---|
committer | BoYanZh <32470225+BoYanZh@users.noreply.github.com> | 2020-10-02 12:03:05 +0800 |
commit | d88e1771d253fbeecb4399d3a6d7e407354f69ec (patch) | |
tree | 52a4278d9d1b0386be115952187f53e0507968a8 /settings.example.py | |
parent | c57929858c82bbf942397b1277311d6d86f2fac9 (diff) |
update: add JOJ fail to compile check
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": |