From 032d4a20f90006ce421a78ae30ff8c9f7469d27e Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Wed, 17 Jul 2024 13:37:32 +0200 Subject: [PATCH] =?UTF-8?q?bin/ci=5Frun=5Fn=5Fmonitor:=20explain=20that=20?= =?UTF-8?q?the=20'Universal=20Recycling=20symbol'=20=E2=99=B2=20emoji=20me?= =?UTF-8?q?ans=20these=20jobs=20were=20cancelled?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit And not "restarted" for instance, which would also be a reasonable interpretation. Part-of: --- bin/ci/ci_run_n_monitor.py | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/ci/ci_run_n_monitor.py b/bin/ci/ci_run_n_monitor.py index a19be0a3b57..ce943467278 100755 --- a/bin/ci/ci_run_n_monitor.py +++ b/bin/ci/ci_run_n_monitor.py @@ -286,6 +286,7 @@ def cancel_jobs( if not to_cancel: return + print("Cancelled jobs: ", end=" ") with ThreadPoolExecutor(max_workers=6) as exe: part = partial(cancel_job, project) exe.map(part, to_cancel)