diff options
| -rw-r--r-- | mod/mod-ci-github-service-data.cxx | 3 | ||||
| -rw-r--r-- | mod/mod-ci-github.cxx | 9 |
2 files changed, 10 insertions, 2 deletions
diff --git a/mod/mod-ci-github-service-data.cxx b/mod/mod-ci-github-service-data.cxx index 4598302..c51f791 100644 --- a/mod/mod-ci-github-service-data.cxx +++ b/mod/mod-ci-github-service-data.cxx @@ -120,7 +120,8 @@ namespace brep s, ss, rs, - nullopt /* details_url */}); + nullopt, /* details_url */ + nullopt /* description */}); p.next_expect (event::end_object); } 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); + } } }; |