guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

01/08: hydra: Disable node 5.


From: Ricardo Wurmus
Subject: 01/08: hydra: Disable node 5.
Date: Sun, 19 Jan 2020 05:12:08 -0500 (EST)

rekado pushed a commit to branch master
in repository maintenance.

commit 759a8fba4f748766c099075e65a98fce782c102e
Author: Ricardo Wurmus <address@hidden>
AuthorDate: Sun Jan 19 10:41:58 2020 +0100

    hydra: Disable node 5.
    
    * hydra/berlin-nodes.scm (%ids): Remove node 5.
---
 hydra/berlin-nodes.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/hydra/berlin-nodes.scm b/hydra/berlin-nodes.scm
index fb38bf8..ede89f9 100644
--- a/hydra/berlin-nodes.scm
+++ b/hydra/berlin-nodes.scm
@@ -5,7 +5,9 @@
              (sysadmin people)
              (srfi srfi-1))
 
-(define %ids '(4 5 6 8 9 10 11 12 13 14 15 16
+(define %ids '(4
+               ;; 5 -> dead
+               6 8 9 10 11 12 13 14 15 16
                ;;17 -> no route
                18 19 20 21 22 23 24 25 26))
 



reply via email to

[Prev in Thread] Current Thread [Next in Thread]