diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2025-02-20 10:50:16 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2025-02-20 15:56:51 +0200 |
| commit | 8921de8fa65a2144e2eacf89b3009922ed849973 (patch) | |
| tree | c775c6aba367c7195c9b7fa5013e4177ce27c137 /mod/mod-ci-github-gq.hxx | |
| parent | 2abb3ab35426189a9c478564a6426680c7cd3af0 (diff) | |
ci-github: Re-request check suite on internal CI cancellation
Diffstat (limited to 'mod/mod-ci-github-gq.hxx')
| -rw-r--r-- | mod/mod-ci-github-gq.hxx | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/mod/mod-ci-github-gq.hxx b/mod/mod-ci-github-gq.hxx index 77b78e4..4e13606 100644 --- a/mod/mod-ci-github-gq.hxx +++ b/mod/mod-ci-github-gq.hxx @@ -124,6 +124,21 @@ namespace brep const string& node_id, gq_built_result); + // Re-request a check suite. This will result in the delivery of a + // check_suite webhook with the "rerequested" action, just as if the user + // had clicked "re-run all checks" in the GitHub UI. + // + // Return false and issue diagnostics if the request failed. + // + // Throw invalid_argument if the passed data is invalid, missing, or + // inconsistent. + // + bool + gq_rerequest_check_suite (const basic_mark& error, + const string& installation_access_token, + const string& repository_id, + const string& node_id); + // Fetch pre-check information for a pull request from GitHub. This // information is used to decide whether or not to CI the PR and is // comprised of the PR's head commit SHA, whether its head branch is behind |