branch master updated: hydra: Add jade, a POWER9 node, to the CI.

[Ludovic Courtès]

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

civodul pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 9138bf8  hydra: Add jade, a POWER9 node, to the CI.
9138bf8 is described below

commit 9138bf8eb88b5960d5d497eb3578815184a7f740
Author: Chris Marusich <cmmarusich@gmail.com>
AuthorDate: Sun Dec 26 17:25:05 2021 -0800

    hydra: Add jade, a POWER9 node, to the CI.
    
    * doc/cuirass.org (External machines): Add an entry for jade.
    * hydra/berlin.scm (services)[wireguard-service-type]: Same.
    
    Co-authored-by: Ludovic Courtès <ludo@gnu.org>
---
 doc/cuirass.org  | 1 +
 hydra/berlin.scm | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/cuirass.org b/doc/cuirass.org
index 12392ce..f877395 100644
--- a/doc/cuirass.org
+++ b/doc/cuirass.org
@@ -26,6 +26,7 @@ network. The next section describes how to add a new external 
machine.
 | kreuzberg  |  10.0.0.9 | Ricardo Wurmus        |
 | grunewald  | 10.0.0.10 | Ricardo Wurmus        |
 | bayfront   | 10.0.0.11 | Andreas Enge          |
+| jade       | 10.0.0.12 | Chris Marusich        |
 
 * Connect an external machine
 
diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index 804d95e..b58827d 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -425,7 +425,11 @@ Happy hacking!\n"))
                          (wireguard-peer
                           (name "bayfront")
                           (public-key 
"/oydkAV1bep1JRQ/JRO+tEuybwtwczYlidSP97CnDwI=")
-                          (allowed-ips '("10.0.0.11/32"))) ))))
+                          (allowed-ips '("10.0.0.11/32")))
+                         (wireguard-peer
+                          (name "jade")
+                          (public-key 
"FEFR3NX+DfkrsTHpgECvzW/M/0D8V4bVtCEEzQ5naww=")
+                          (allowed-ips '("10.0.0.12/32")))))))
 
              (append
                  (website-services)