diff options
Diffstat (limited to 'etc/brep-module.conf')
| -rw-r--r-- | etc/brep-module.conf | 15 |
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 |