01/03: berlin: machines: Add OverDrives hosted by Tobias.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository maintenance.

commit 86bf668b41d421633f5e948281061d7c7dcada83
Author: Tobias Geerinckx-Rice <Tobias Geerinckx-Rice>
Date:   Sun Aug 4 19:35:23 2019 +0200

    berlin: machines: Add OverDrives hosted by Tobias.
    
    * hydra/machines-for-berlin.scm (overdrive): Add dmitri.tobias.gr and
    sergei.tobias.gr.
    
    Signed-off-by: Ludovic Courtès <address@hidden>
---
 hydra/machines-for-berlin.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 3cb13dc..3fdfd4e 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -190,6 +190,26 @@
          (system "aarch64-linux")
          (host-key
           "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIXfDYhBeVH0GenVp8PplaRF1jtNSOdLeNWf2k8G7K71 root@gnu")
+         (parallel-builds 2))
+
+        (build-machine
+         ;; Dynamic IP.
+         (name "dmitri.tobias.gr")
+         (port 5551)
+         (user "hydra")
+         (system "aarch64-linux")
+         (host-key
+          "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAICqbQjcGAlYRunem82lXhc0T0xWWQUh53UPXzZzBePVQ 
address@hidden")
+         (parallel-builds 2))
+
+        (build-machine
+         ;; Dynamic IP.
+         (name "sergei.tobias.gr")
+         (port 5552)
+         (user "hydra")
+         (system "aarch64-linux")
+         (host-key
+          "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIMbnlRcOJwtlNVc3LcEgagqXNEWya666RiwBHImXtjUJ 
address@hidden")
          (parallel-builds 2))))
 
 (define armv7