diff options
Diffstat (limited to 'mod/mod-ci-github.cxx')
-rw-r--r-- | mod/mod-ci-github.cxx | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 96c5889..cda7111 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -2316,7 +2316,8 @@ namespace brep build_state::queued, false /* state_synced */, nullopt /* status */, - details_url (b)}); + details_url (b), + nullopt /* description */}); } } @@ -2674,6 +2675,12 @@ namespace brep break; } + + case result_status::skip: + case result_status::interrupt: + { + assert (false); + } } }; |