02/02: hydra: berlin: Add dover.guix.info to build nodes.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit 6584ce0d803e89b33b0a58bb548c86fe35b35027
Author: Ricardo Wurmus <address@hidden>
Date:   Wed May 8 17:28:50 2019 +0200

    hydra: berlin: Add dover.guix.info to build nodes.
    
    * hydra/machines-for-berlin.scm (overdrive): Add record for
    dover.guix.info.
---
 hydra/machines-for-berlin.scm | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index d4f14b2..7fbf60e 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -141,6 +141,16 @@
          (parallel-builds 2))
 
         (build-machine
+         ;; 80.67.176.63
+         (name "dover.guix.info")
+         (port 9023)
+         (user "hydra")
+         (system "aarch64-linux")
+         (host-key
+          "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJLRYD5RXZ3Espe+Kv1SzZl8Qc3NZ356Bq+cGjnKsDHY 
address@hidden")
+         (parallel-builds 2))
+
+        (build-machine
          ;; 46.117.130.5
          (name "git.flashner.co.il")
          (port 52522)