diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2025-02-14 14:08:04 +0200 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2025-02-17 21:31:24 +0200 |
| commit | 62a6bd8d6bb576edf76c42db8ffb73fcb0f87fb7 (patch) | |
| tree | 867897ce90d2b7fe1d62a6c93feb44f4b69d5d1d /mod/mod-ci-github-gq.hxx | |
| parent | 1795263201cc930c349add08aac8cc268796d773 (diff) | |
Automatically increase build queued timeout for big number of builds in 'queued' notifications
Note that this commit changes the semantics of the tenant::queued_timestamp
member. Previously it was set to the time when the build objects are turned
into the queued state. Now it is set to the time when the queued notification
for them is assumed to be delivered to the third party service.
Diffstat (limited to 'mod/mod-ci-github-gq.hxx')
| -rw-r--r-- | mod/mod-ci-github-gq.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mod/mod-ci-github-gq.hxx b/mod/mod-ci-github-gq.hxx index 5fc75aa..2a8138a 100644 --- a/mod/mod-ci-github-gq.hxx +++ b/mod/mod-ci-github-gq.hxx @@ -39,7 +39,8 @@ namespace brep const string& installation_access_token, uint64_t app_id, const string& repository_id, - const string& head_sha); + const string& head_sha, + size_t batch); // 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 |