From 714a882fbeea72a6f08f684dec4d323245a770b9 Mon Sep 17 00:00:00 2001
From: Francois Kritzinger <francois@codesynthesis.com>
Date: Fri, 17 Jan 2025 10:59:50 +0200
Subject: ci-github: Use error colored circle with warning if warning=failure

---
 mod/mod-ci-github.cxx | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx
index d978283..96c5889 100644
--- a/mod/mod-ci-github.cxx
+++ b/mod/mod-ci-github.cxx
@@ -1161,8 +1161,14 @@ namespace brep
   static gq_built_result
   make_built_result (result_status rs, bool warning_success, string message)
   {
+    string title (circle (rs == result_status::warning && !warning_success
+                          ? result_status::error
+                          : rs));
+    title += ' ';
+    title += ucase (to_string (rs));
+
     return {gh_to_conclusion (rs, warning_success),
-            circle (rs) + ' ' + ucase (to_string (rs)),
+            move (title),
             move (message)};
   }
 
-- 
cgit v1.1