diff options
Diffstat (limited to 'etc/private/install')
| -rw-r--r-- | etc/private/install/brep-module.conf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/etc/private/install/brep-module.conf b/etc/private/install/brep-module.conf index df439f4..4e5eb87 100644 --- a/etc/private/install/brep-module.conf +++ b/etc/private/install/brep-module.conf @@ -201,6 +201,14 @@ 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 + + # The maximum size of the build task request manifest accepted. Note that the # HTTP POST request body is cached to retry database transactions in the face # of recoverable failures (deadlock, loss of connection, etc). Default is |