core: fix interface

This commit is contained in:
undefined committed 2024-05-11 00:56:56 +08:00
1 parent 7d32828930
commit 4c77c82651
1 file changed
+1 -1
+1 -1
View File
@@ -345,7 +345,7 @@ export interface RecordStatDoc {
uid: number; uid: number;
time: number; time: number;
memory: number; memory: number;
code: number; length: number;
lang: string; lang: string;
} }
export interface JudgeMeta { export interface JudgeMeta {