diff options
Diffstat (limited to 'mod/mod-ci-github.hxx')
| -rw-r--r-- | mod/mod-ci-github.hxx | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/mod/mod-ci-github.hxx b/mod/mod-ci-github.hxx index 8cd085d..489aac7 100644 --- a/mod/mod-ci-github.hxx +++ b/mod/mod-ci-github.hxx @@ -17,6 +17,8 @@ namespace brep { + struct service_data; + class ci_github: public database_module, private ci_start, public tenant_service_build_unloaded, @@ -79,6 +81,25 @@ namespace brep bool handle_pull_request (gh_pull_request_event, bool warning_success); + // Create an unloaded CI request for a pull request. If `cancel_first` is + // true, cancel its existing CI request first. + // + // Return true if an unloaded CI request was created. Ignore failure to + // cancel because the CI request may already have been cancelled for other + // reasons. + // + // After this call we will start getting the build_unloaded() + // notifications until (1) we load the request, (2) we cancel it, or (3) + // it gets archived after some timeout. + // + bool + create_pull_request_ci (const basic_mark& error, + const basic_mark& warn, + const basic_mark& trace, + const service_data&, + const string& pull_request_node_id, + bool cancel_first) const; + // Build a check run details_url for a build. // string |