diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-11-18 09:07:56 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-11-18 09:07:56 +0200 |
commit | e142ce121abc666dfba0dab686f54850934443a1 (patch) | |
tree | 8e382779db362499cf9ff7ecd17e832c0dde2a06 /mod/mod-ci-github-gq.hxx | |
parent | b03540a7dc9d47c3c6e095a5dfae848770d5feff (diff) |
Sketch new handle_check_run_rerequest() logicci-github-2
Diffstat (limited to 'mod/mod-ci-github-gq.hxx')
-rw-r--r-- | mod/mod-ci-github-gq.hxx | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/mod/mod-ci-github-gq.hxx b/mod/mod-ci-github-gq.hxx index 0353281..9022fe3 100644 --- a/mod/mod-ci-github-gq.hxx +++ b/mod/mod-ci-github-gq.hxx @@ -92,24 +92,6 @@ namespace brep build_state, optional<gq_built_result> = nullopt); - // Update a check run on GitHub if node_id is present, otherwise create a - // new check run associated with head_sha. In the latter case, the new - // node_id is set in the passed check_run object. - // - // This is a wrapper of gq_update_check_run() and gq_create_check_run() for - // convenience. - // - bool - gq_update_or_create_check_run (const basic_mark& error, - check_run& cr, - const string& installation_access_token, - const string& repository_id, - const optional<string>& node_id, - const string& head_sha, - const optional<string>& details_url, - build_state, - optional<gq_built_result> = nullopt); - // 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 |