branch master updated: hydra: dover: Use the berlin local IP as only substitute server.

[Andreas Enge]

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

andreas pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 04168c9  hydra: dover: Use the berlin local IP as only substitute 
server.
04168c9 is described below

commit 04168c9db147b0b190030663a908017e0211c53c
Author: Andreas Enge <andreas@enge.fr>
AuthorDate: Sun Aug 22 22:24:10 2021 +0200

    hydra: dover: Use the berlin local IP as only substitute server.
    
    * hydra/dover.scm: Apply the same change as in commit
      0dbb77f156b1880b9dd22b5a440cb3666d1937eb .
---
 hydra/dover.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/hydra/dover.scm b/hydra/dover.scm
index d1ecbee..50c45bc 100644
--- a/hydra/dover.scm
+++ b/hydra/dover.scm
@@ -111,7 +111,8 @@
                             (cuirass-remote-worker-configuration
                              (workers 2)
                              (server "10.0.0.1:5555") ;berlin
-                             (systems '("armhf-linux" "aarch64-linux"))))
+                             (systems '("armhf-linux" "aarch64-linux"))
+                             (substitute-urls '("http://10.0.0.1";))))
                    (service wireguard-service-type
                             (wireguard-configuration
                              (addresses '("10.0.0.4/32"))