From 9611dc258aa291b940318f02c3c41644100d3207 Mon Sep 17 00:00:00 2001 From: Felix Fontein Date: Tue, 20 Jan 2026 22:08:15 +0100 Subject: [PATCH] time-command.py: make sure seconds is an int (#11421) Make sure seconds is an int. --- .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()