From d80d35ceff8f868ca14c0a271043ccdec9b4498a Mon Sep 17 00:00:00 2001 From: Sergi Blanch Torne Date: Fri, 24 May 2024 14:55:42 +0200 Subject: [PATCH] ci: run_n_monitor, pretty duration with padding When printing time durations, the smaller units can always have the same number of digits. Helps to have aligned fields when printing. Signed-off-by: Sergi Blanch Torne Reviewed-by: Daniel Stone Part-of: --- bin/ci/gitlab_common.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/ci/gitlab_common.py b/bin/ci/gitlab_common.py index 203b92c5720..ee1c0581d6a 100644 --- a/bin/ci/gitlab_common.py +++ b/bin/ci/gitlab_common.py @@ -37,9 +37,9 @@ def pretty_duration(seconds): hours, rem = divmod(seconds, 3600) minutes, seconds = divmod(rem, 60) if hours: - return f"{hours:0.0f}h{minutes:0.0f}m{seconds:0.0f}s" + return f"{hours:0.0f}h{minutes:02.0f}m{seconds:02.0f}s" if minutes: - return f"{minutes:0.0f}m{seconds:0.0f}s" + return f"{minutes:0.0f}m{seconds:02.0f}s" return f"{seconds:0.0f}s"