DB: Zaveden nový stav kola "opraveno"

db/db.ddl

@@ -97,6 +97,7 @@ CREATE TYPE round_state AS ENUM (
 	'preparing',			-- v přípravě (viditelné pouze organizátorům)
 	'running',			-- je možno odevzdávat
 	'grading',			-- je možno opravovat a vyplňovat body
+	'graded',			-- opraveno, soutěžící mohou protestovat
 	'closed',			-- uzavřeno, není dovoleno nic měnit, zveřejněny výsledky
 	-- Garanta stavy neomezují, vždycky může všechno.
 	-- Ve stavu "running" mohou odevzdávat účastníci i dozor, a to i po termínu,

db/upgrade-20220115.sql

+SET ROLE 'mo_osmo';
+
+ALTER TYPE round_state ADD VALUE 'graded';

mo/db.py

@@ -188,6 +188,7 @@ class RoundState(MOEnum):
     preparing = auto()
     running = auto()
     grading = auto()
+    graded = auto()
     closed = auto()
     delegate = auto()
 
@@ -199,6 +200,7 @@ round_state_names = {
     RoundState.preparing: 'připravuje se',
     RoundState.running: 'běží',
     RoundState.grading: 'opravuje se',
+    RoundState.graded: 'opraveno',
     RoundState.closed: 'ukončeno',
     RoundState.delegate: 'po oblastech',
 }