From 330006375edc723f710504669a9209d3a4d542bd Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Thu, 18 Jul 2024 11:41:34 +0200 Subject: [PATCH] =?UTF-8?q?bin/ci=5Frun=5Fn=5Fmonitor:=20replace=20?= =?UTF-8?q?=E2=99=B2=20with=20=F0=9F=97=99=20to=20represent=20cancelled=20?= =?UTF-8?q?jobs?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Part-of: --- bin/ci/ci_run_n_monitor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/ci/ci_run_n_monitor.py b/bin/ci/ci_run_n_monitor.py index 1be5fe97399..4e4a974d625 100755 --- a/bin/ci/ci_run_n_monitor.py +++ b/bin/ci/ci_run_n_monitor.py @@ -275,7 +275,7 @@ def cancel_job( return pjob = project.jobs.get(job.id, lazy=True) pjob.cancel() - print(f"♲ {job.name}", end=" ") # U+2672 Universal Recycling symbol + print(f"🗙 {job.name}", end=" ") # U+1F5D9 Cancellation X def cancel_jobs(