aboutsummaryrefslogtreecommitdiff
path: root/mod/mod-ci-github-gq.hxx
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-04-22 11:20:06 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-10-15 09:05:28 +0200
commitb3fa1468a7988349eeb90c63a4e375ba76116c04 (patch)
tree5fe7fb8f0f9de259009763ed4aa716b8d3d2cc86 /mod/mod-ci-github-gq.hxx
parentdf63768ffae86a8b5784efa6a502a81ad1077985 (diff)
Remove gq_fetch_check_run()
Diffstat (limited to 'mod/mod-ci-github-gq.hxx')
-rw-r--r--mod/mod-ci-github-gq.hxx19
1 files changed, 0 insertions, 19 deletions
diff --git a/mod/mod-ci-github-gq.hxx b/mod/mod-ci-github-gq.hxx
index 2966670..87ba49b 100644
--- a/mod/mod-ci-github-gq.hxx
+++ b/mod/mod-ci-github-gq.hxx
@@ -62,25 +62,6 @@ namespace brep
const string& node_id,
build_state,
const basic_mark& error);
-
- // Fetch from GitHub the check run with the specified name (hints-shortened
- // build ID).
- //
- // Return the check run or nullopt if no such check run exists.
- //
- // In case of error diagnostics will be issued and false returned in second.
- //
- // Note that the existence of more than one check run with the same name is
- // considered an error and reported as such. The API docs imply that there
- // can be more than one check run with the same name in a check suite, but
- // the observed behavior is that creating a check run destroys the existent
- // one, leaving only the new one with a different node ID.
- //
- pair<optional<gh_check_run>, bool>
- gq_fetch_check_run (const string& installation_access_token,
- const string& check_suite_id,
- const string& cr_name,
- const basic_mark& error) noexcept;
}
#endif // MOD_MOD_CI_GITHUB_GQ_HXX