[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/03: berlin: machines: Add OverDrives hosted by Tobias.
From: |
Ludovic Courtès |
Subject: |
01/03: berlin: machines: Add OverDrives hosted by Tobias. |
Date: |
Mon, 9 Sep 2019 15:46:38 -0400 (EDT) |
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