From 0153e08486d13beccb03eb8c0c88707aaa7b7f2a Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Mon, 1 Sep 2025 14:14:10 -0500 Subject: [PATCH] Allow more general extra_fmt_args in ProcessLogger.done --- pytools/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pytools/__init__.py b/pytools/__init__.py index 3f5c1556..cdd5a2af 100644 --- a/pytools/__init__.py +++ b/pytools/__init__.py @@ -2738,7 +2738,7 @@ def __init__( def done(self, extra_msg: str | None = None, - *extra_fmt_args: str) -> None: + *extra_fmt_args: object) -> None: self.timer.done() self._done_indicator[0] = True @@ -2751,7 +2751,7 @@ def done(self, else self.silent_level) msg = "%s: completed (%s)" - fmt_args = [self.description, str(self.timer)] + fmt_args: list[object] = [self.description, str(self.timer)] if extra_msg: msg = f"{msg}: {extra_msg}"