diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2025-02-13 10:39:54 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2025-02-13 14:03:11 +0200 |
commit | 8d25b6e3a07c0879c483a185ba5a2990640e585f (patch) | |
tree | 1af4eb39a33271d2182acf43476f9e1d65a9d31a /mod/mod-ci-github-service-data.hxx | |
parent | 71b7cda94d211eb5b2aa3641eb44cdd8502d0a7a (diff) |
ci-github: Create check runs in batches
Doing too many at a time increases the odds of getting a HTTP 502 (bad
gateway) response from GitHub and it also decreases the odds of all check runs
getting created if we do end up getting a 502 response.
Diffstat (limited to 'mod/mod-ci-github-service-data.hxx')
-rw-r--r-- | mod/mod-ci-github-service-data.hxx | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mod/mod-ci-github-service-data.hxx b/mod/mod-ci-github-service-data.hxx index 7ac39dd..9aa512a 100644 --- a/mod/mod-ci-github-service-data.hxx +++ b/mod/mod-ci-github-service-data.hxx @@ -55,6 +55,8 @@ namespace brep } }; + using check_runs = vector<check_run>; + // We have two kinds of service data that correspond to the following two // typical scenarios (until/unless we add support for merge queues): // @@ -123,7 +125,7 @@ namespace brep // string report_sha; - vector<check_run> check_runs; + brep::check_runs check_runs; // Flag indicating that all the elements in check_runs are built and this // check suite is completed. |