mirror of
git://git.savannah.gnu.org/guix/maintenance.git
synced 2023-12-14 03:33:04 +01:00
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 <ludo@gnu.org>
This commit is contained in:
parent
d4633e953b
commit
86bf668b41
|
@ -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 nckx@dmitri.tobias.gr")
|
||||
(parallel-builds 2))
|
||||
|
||||
(build-machine
|
||||
;; Dynamic IP.
|
||||
(name "sergei.tobias.gr")
|
||||
(port 5552)
|
||||
(user "hydra")
|
||||
(system "aarch64-linux")
|
||||
(host-key
|
||||
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMbnlRcOJwtlNVc3LcEgagqXNEWya666RiwBHImXtjUJ nckx@sergei.tobias.gr")
|
||||
(parallel-builds 2))))
|
||||
|
||||
(define armv7
|
||||
|
|
Loading…
Reference in a new issue