[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/03: hydra: berlin: Increase number of build users.
From: |
Ludovic Courtès |
Subject: |
03/03: hydra: berlin: Increase number of build users. |
Date: |
Fri, 16 Oct 2020 08:39:04 -0400 (EDT) |
civodul pushed a commit to branch master
in repository maintenance.
commit cfc785885a3b797628558f58bafb2146fc06c616
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Fri Oct 16 14:37:07 2020 +0200
hydra: berlin: Increase number of build users.
Recently we have run out of build users on a few occasions so increase
the number.
* hydra/berlin.scm <services>: Pass #:build-accounts-to-max-jobs-ratio
to 'frontend-services'.
---
hydra/berlin.scm | 2 ++
1 file changed, 2 insertions(+)
diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index db9473b..2b0ffd9 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -335,6 +335,8 @@ Happy hacking!\n"))
(list (* 500 GiB) (* 50 GiB)))
(frontend-services %sysadmins
+ ;; Make sure we get enough build users.
+ #:build-accounts-to-max-jobs-ratio 5
#:gc-threshold (* 3 TiB)
#:systems '("x86_64-linux" "i686-linux"
"aarch64-linux")