diff options
author | Francois Kritzinger <francois@codesynthesis.com> | 2024-04-22 11:20:06 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-05-13 09:17:32 +0200 |
commit | 4c75860bcb34428815aa2ae16e9f2cf39de1b2c6 (patch) | |
tree | 2bea38043c45df07fb1f2c70734630a65607f44a /mod/mod-ci-github-gq.hxx | |
parent | c5adbe51c07daded784541c13680d349de428766 (diff) |
Remove gq_fetch_check_run()
Diffstat (limited to 'mod/mod-ci-github-gq.hxx')
-rw-r--r-- | mod/mod-ci-github-gq.hxx | 19 |
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 |