From 3fb4c8eb82ef8e97240e4d7a9a03628a6bd7452f Mon Sep 17 00:00:00 2001 From: kiritofeng Date: Mon, 25 Dec 2023 19:51:42 -0500 Subject: [PATCH] utils/helper_files: fix typing --- dmoj/utils/helper_files.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dmoj/utils/helper_files.py b/dmoj/utils/helper_files.py index e0b42546b..88be4bfbe 100644 --- a/dmoj/utils/helper_files.py +++ b/dmoj/utils/helper_files.py @@ -84,7 +84,7 @@ def find_runtime(*languages): def parse_helper_file_error( - proc: 'TracedPopen', executor: 'BaseExecutor', name: str, stderr: bytes, time_limit: int, memory_limit: int + proc: 'TracedPopen', executor: 'BaseExecutor', name: str, stderr: bytes, time_limit: float, memory_limit: int ) -> None: if proc.is_tle: error = f'{name} timed out (> {time_limit} seconds)'