branch master updated: hydra: machines-for-berlin: Add armhf-linux support to the overdrives.

[Mathieu Othacehe]

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

mothacehe pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new a783ea7  hydra: machines-for-berlin: Add armhf-linux support to the 
overdrives.
a783ea7 is described below

commit a783ea7e081f2ef0d31714e3b9e34103fbc4a16a
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Sat May 1 18:42:40 2021 +0200

    hydra: machines-for-berlin: Add armhf-linux support to the overdrives.
    
    * hydra/machines-for-berlin (overdrive): Add armhf-linux support.
---
 hydra/machines-for-berlin.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 6107117..63c6bcb 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -197,7 +197,7 @@
          ;;overdrive1
          (name "10.0.0.3")
          (user "hydra")
-         (systems '("aarch64-linux"))
+         (systems '("aarch64-linux" "armhf-linux"))
          (host-key
           "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIPf2f93c90oi9s9qGVGWC3sDgG7kEBvIEwR021NsfG+z 
root@overdrive")
          (parallel-builds 2))
@@ -206,7 +206,7 @@
          ;;dover
          (name "10.0.0.4")
          (user "hydra")
-         (systems '("aarch64-linux"))
+         (systems '("aarch64-linux" "armhf-linux"))
          (host-key
           "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJLRYD5RXZ3Espe+Kv1SzZl8Qc3NZ356Bq+cGjnKsDHY 
root@linux")
          (parallel-builds 2))))