From 43f0152969098fe5dafc6fb333b8841c58cd056b Mon Sep 17 00:00:00 2001 From: "patchback[bot]" <45432694+patchback[bot]@users.noreply.github.com> Date: Tue, 20 Jan 2026 22:41:12 +0100 Subject: [PATCH] [PR #11421/9611dc25 backport][stable-12] time-command.py: make sure seconds is an int (#11436) time-command.py: make sure seconds is an int (#11421) Make sure seconds is an int. (cherry picked from commit 9611dc258aa291b940318f02c3c41644100d3207) Co-authored-by: Felix Fontein --- .azure-pipelines/scripts/time-command.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.azure-pipelines/scripts/time-command.py b/.azure-pipelines/scripts/time-command.py index faad7e386c..376b22767e 100755 --- a/.azure-pipelines/scripts/time-command.py +++ b/.azure-pipelines/scripts/time-command.py @@ -19,7 +19,7 @@ def main(): sys.stdout.reconfigure(errors="surrogateescape") for line in sys.stdin: - seconds = time.time() - start + seconds = int(time.time() - start) sys.stdout.write(f"{seconds // 60:02}:{seconds % 60:02} {line}") sys.stdout.flush()