diff options
author | Francois Kritzinger <francois@codesynthesis.com> | 2025-01-17 10:59:50 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2025-01-20 11:29:59 +0200 |
commit | 714a882fbeea72a6f08f684dec4d323245a770b9 (patch) | |
tree | 086a55cdae8eebbc0a20f71a6ab3b891d46be108 | |
parent | 66b643ee9184df63ef0e53f53ed48e40df3389b0 (diff) |
ci-github: Use error colored circle with warning if warning=failure
-rw-r--r-- | mod/mod-ci-github.cxx | 8 |
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)}; } |