diff options
Diffstat (limited to 'sphinx/util/parallel.py')
| -rw-r--r-- | sphinx/util/parallel.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/util/parallel.py b/sphinx/util/parallel.py index 16bb5f200..928d5b0dc 100644 --- a/sphinx/util/parallel.py +++ b/sphinx/util/parallel.py @@ -30,7 +30,7 @@ class SerialTasks: pass def add_task( - self, task_func: Callable, arg: Any = None, result_func: Callable | None = None + self, task_func: Callable, arg: Any = None, result_func: Callable | None = None, ) -> None: if arg is not None: res = task_func(arg) @@ -80,7 +80,7 @@ class ParallelTasks: pipe.send((failed, collector.logs, ret)) def add_task( - self, task_func: Callable, arg: Any = None, result_func: Callable | None = None + self, task_func: Callable, arg: Any = None, result_func: Callable | None = None, ) -> None: tid = self._taskid self._taskid += 1 |