aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2025-01-17 10:59:50 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2025-01-20 11:29:59 +0200
commit714a882fbeea72a6f08f684dec4d323245a770b9 (patch)
tree086a55cdae8eebbc0a20f71a6ab3b891d46be108
parent66b643ee9184df63ef0e53f53ed48e40df3389b0 (diff)
ci-github: Use error colored circle with warning if warning=failure
-rw-r--r--mod/mod-ci-github.cxx8
1 files changed, 7 insertions, 1 deletions
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)};
}