03/03: hydra: Add big node to berlin.guixsd.org.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit d8ddff5258dda79d3d0c7b689bee350595a96909
Author: Ricardo Wurmus <address@hidden>
Date:   Sat Dec 16 16:24:05 2017 +0100

    hydra: Add big node to berlin.guixsd.org.
    
    * hydra/machines-for-berlin.scm (hosts): Add entry for 141.80.167.132;
    remove 133 and disable 134.
    (template-x86_64): Override settings for big node.
---
 hydra/machines-for-berlin.scm | 18 ++++++++++++++----
 1 file changed, 14 insertions(+), 4 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 724d73c..8482cd8 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -4,10 +4,10 @@
 ;; These are all hosted at the MDC in rack A4.  They are connected to
 ;; a dedicated VLAN and can only be accessed from berlin.guixsd.org.
 (define hosts
-  '(("141.80.167.133"
-     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIOTaTAJNxFbPQTXjGiQ0+taDGJCirxOTe3vK++jxHTtR")
-    ("141.80.167.134"
-     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJDK9gGqftWQM7JkUiT58AdaUhMl04874CZ3525r9MSf")
+  '(("141.80.167.132" ; big node
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIMWlWUugocIkWzyxWxsJxrnIaDSUeICssBq9aqSNZivJ")
+    ;; ("141.80.167.134"
+    ;;  "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJDK9gGqftWQM7JkUiT58AdaUhMl04874CZ3525r9MSf")
     ("141.80.167.135"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIJBS5YOhjngLWE4LEQmsVQ0Oxidy3QfQlyxp+aK0cnf")
     ("141.80.167.136"
@@ -57,6 +57,16 @@
 
 (define template-x86_64
   (match-lambda
+    ;; Prefer building on the big node.
+    (("141.80.167.132" key)
+     (build-machine
+      (name "141.80.167.132")
+      (user "hydra")
+      (system "x86_64-linux")
+      (host-key key)
+      (compression "no")
+      (speed 16)
+      (parallel-builds 16)))
     ((ip key)
      (build-machine
       (name ip)