judge: change config.detail to enum (#1000)

This commit is contained in:
undefined authored and GitHub committed 2025-06-26 02:55:38 +01:00
1 parent fb04aaacb9
commit ed830e119e
13 files changed
+41 -29

No files matched your search

@@ -86,7 +86,7 @@ const problemConfigSchema: JSONSchema7 = {
cases: { $ref: '#/definitions/cases' },
subtasks: { type: 'array', items: { $ref: '#/definitions/subtask' } },
filename: { type: 'string' },
detail: { type: 'boolean' },
detail: { type: 'string', enum: ['full', 'case', 'none'] },
time: { $ref: '#/definitions/time' },
memory: { $ref: '#/definitions/memory' },
score: { $ref: '#/definitions/score' },