diff options
| -rw-r--r-- | mod/mod-ci-github.cxx | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 352ad5a..bfc6ebe 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -693,6 +693,9 @@ namespace brep // Create a gq_built_result. // + // Throw invalid_argument in case of invalid result_status (highly + // unlikely). + // static gq_built_result make_built_result (result_status rs, bool warning_success, string message) { |