diff options
| -rw-r--r-- | mod/mod-ci-github-gh.cxx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mod/mod-ci-github-gh.cxx b/mod/mod-ci-github-gh.cxx index c97f938..ad986e3 100644 --- a/mod/mod-ci-github-gh.cxx +++ b/mod/mod-ci-github-gh.cxx @@ -21,6 +21,8 @@ namespace brep case build_state::building: return "IN_PROGRESS"; case build_state::built: return "COMPLETED"; } + + assert (false); } // Return the build_state corresponding to a GitHub check run status @@ -60,6 +62,8 @@ namespace brep throw invalid_argument ("unexpected result_status value: " + to_string (rs)); } + + assert (false); } string |