branch master updated: hydra: dover: Use 4 Cuirass workers.

[Mathieu Othacehe]

This is an automated email from the git hooks/post-receive script.

mothacehe pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 1870408  hydra: dover: Use 4 Cuirass workers.
1870408 is described below

commit 1870408919c38523484c866873181f977fb62de6
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Mon Mar 21 09:16:15 2022 +0100

    hydra: dover: Use 4 Cuirass workers.
    
    * hydra/dover: Use 4 workers.
---
 hydra/dover.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hydra/dover.scm b/hydra/dover.scm
index 3eceed6..a9bcaf7 100644
--- a/hydra/dover.scm
+++ b/hydra/dover.scm
@@ -102,7 +102,7 @@
                    (service avahi-service-type)
                    (service cuirass-remote-worker-service-type
                             (cuirass-remote-worker-configuration
-                             (workers 2)
+                             (workers 4)
                              (server "10.0.0.1:5555") ;berlin
                              (systems '("armhf-linux" "aarch64-linux"))
                              (substitute-urls '("http://10.0.0.1";))))