From 215b17bd22d3008cae3a2c0294cf71a753243fef Mon Sep 17 00:00:00 2001
From: Pedro Algarvio <pedro@algarvio.me>
Date: Wed, 10 Apr 2024 10:42:27 +0100
Subject: [PATCH] Provide a fallback description for labels without a
 description

---
 tools/ci.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tools/ci.py b/tools/ci.py
index 12524435ce4..cf0646b3d61 100644
--- a/tools/ci.py
+++ b/tools/ci.py
@@ -968,7 +968,9 @@ def get_pr_test_labels(
     if labels:
         ctx.info(f"Test labels for pull-request #{pr} on {repository}:")
         for name, description in sorted(labels):
-            ctx.info(f" * [yellow]{name}[/yellow]: {description}")
+            ctx.info(
+                f" * [yellow]{name}[/yellow]: {description or '[red][No description][/red]'}"
+            )
             if name.startswith("test:os:"):
                 slug = name.split("test:os:", 1)[-1]
                 if slug not in available and name != "test:os:all":