aboutsummaryrefslogtreecommitdiff
path: root/mod/mod-ci-github-gq.hxx
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-11-18 09:07:56 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-11-18 09:07:56 +0200
commite142ce121abc666dfba0dab686f54850934443a1 (patch)
tree8e382779db362499cf9ff7ecd17e832c0dde2a06 /mod/mod-ci-github-gq.hxx
parentb03540a7dc9d47c3c6e095a5dfae848770d5feff (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.hxx18
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