Skip to content

Commit

Permalink
utils/helper_files: fix typing
Browse files Browse the repository at this point in the history
  • Loading branch information
kiritofeng committed Dec 26, 2023
1 parent db01836 commit dbdd969
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dmoj/utils/helper_files.py
Original file line number Diff line number Diff line change
Expand Up @@ -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)'
Expand Down

0 comments on commit dbdd969

Please sign in to comment.