diff options
author | Francois Kritzinger <francois@codesynthesis.com> | 2024-04-22 11:20:06 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-15 09:05:28 +0200 |
commit | b3fa1468a7988349eeb90c63a4e375ba76116c04 (patch) | |
tree | 5fe7fb8f0f9de259009763ed4aa716b8d3d2cc86 /mod/mod-ci-github-gq.hxx | |
parent | df63768ffae86a8b5784efa6a502a81ad1077985 (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 |