aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-11-29 07:38:20 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-12-02 09:37:25 +0200
commitf29b6a2b789b6bcd40aeb4f50f0a20fa856fb752 (patch)
treed4f8d6a5ad5412c314f086ad883bdc18a8815b26
parentd8f6a06f0c1378b6489ab6c1c5c98337931ffdc2 (diff)
make_built_result(): add exceptions comment
-rw-r--r--mod/mod-ci-github.cxx3
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)
{