judge: remove useless suffix

This commit is contained in:
undefined committed 2022-09-06 13:02:46 +08:00
1 parent 805c8e4cd3
commit 7f967060cd
12 files changed
+61 -60

No files matched your search

-12
View File
@@ -6,15 +6,3 @@ export interface Execute {
copyIn: Record<string, CopyInFile>;
time?: number;
}
export interface CheckConfig {
execute: string;
input: CopyInFile;
output: CopyInFile;
user_stdout: CopyInFile;
user_stderr: CopyInFile;
copyIn: Record<string, CopyInFile>;
score: number;
detail: boolean;
env?: Record<string, string>;
}