ci-github: Handle HTTP 502 (bad gateway) when creating check runs

Do so by fetching latest check runs from GitHub and failing if they're not all
there.

1 files changed, 4 insertions, 1 deletions

diff --git a/mod/mod-ci-github-gq.hxx b/mod/mod-ci-github-gq.hxx
index 19c4924..1214944 100644
--- a/mod/mod-ci-github-gq.hxx
+++ b/mod/mod-ci-github-gq.hxx
@@ -37,7 +37,8 @@ namespace brep
                         vector<check_run>& check_runs,
                         const string& installation_access_token,
                         const string& repository_id,
-                        const string& head_sha);
+                        const string& head_sha,
+                        uint64_t app_id);
 
   // Create a new check run on GitHub for a build in the queued or building
   // state. Note that the state cannot be built because in that case a
@@ -58,6 +59,7 @@ namespace brep
                        const string& installation_access_token,
                        const string& repository_id,
                        const string& head_sha,
+                       uint64_t app_id,
                        const optional<string>& details_url,
                        build_state,
                        string title,
@@ -79,6 +81,7 @@ namespace brep
                        const string& installation_access_token,
                        const string& repository_id,
                        const string& head_sha,
+                       uint64_t app_id,
                        const optional<string>& details_url,
                        gq_built_result);