diff options
| -rw-r--r-- | mod/mod-ci-github.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index a6fbe08..aec5e5e 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -2748,7 +2748,7 @@ namespace brep // os << fail_count << " failed"; if (!sd.warning_success && warn_count != 0) - os << " (" << warn_count << " with warnings)"; + os << " (" << warn_count << " due to warnings)"; os << ", " << succ_count << " succeeded"; if (sd.warning_success && warn_count != 0) |