aboutsummaryrefslogtreecommitdiff
path: root/etc/brep-module.conf
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2025-02-14 14:08:04 +0200
committerKaren Arutyunov <karen@codesynthesis.com>2025-02-17 21:31:24 +0200
commit62a6bd8d6bb576edf76c42db8ffb73fcb0f87fb7 (patch)
tree867897ce90d2b7fe1d62a6c93feb44f4b69d5d1d /etc/brep-module.conf
parent1795263201cc930c349add08aac8cc268796d773 (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 'etc/brep-module.conf')
-rw-r--r--etc/brep-module.conf15
1 files changed, 9 insertions, 6 deletions
diff --git a/etc/brep-module.conf b/etc/brep-module.conf
index cdf028a..834202a 100644
--- a/etc/brep-module.conf
+++ b/etc/brep-module.conf
@@ -209,12 +209,15 @@ menu About=?about
# build-alt-hard-rebuild-stop
-# Time to wait before assuming the 'queued' notifications are delivered for
-# package CI requests submitted via third-party services (GitHub, etc). During
-# this time a package is not considered for a build. Must be specified in
-# seconds. Default is 30 seconds.
-#
-# build-queued-timeout 30
+# Time to wait (in seconds) before assuming the 'queued' notification batch is
+# delivered and the maximum number of build configurations in such a batch for
+# package CI requests submitted via third-party services (GitHub, etc). Until
+# all such batches are delivered, a package is not considered for a build. By
+# default, assume the batch delivery time is 15 seconds and there are up to 60
+# build configurations in a batch.
+#
+# build-queued-timeout 15
+# build-queued-batch 60
# The maximum size of the build task request manifest accepted. Note that the