From 90426985e22841604a643949688400e7607c46a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= Date: Tue, 3 May 2022 06:56:00 +0100 Subject: [PATCH] Only remove /run/hydra-machines if nutty-noon.int.chir.rs is down --- config/services/hydra.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/config/services/hydra.nix b/config/services/hydra.nix index aebc0409..96d9d3b4 100644 --- a/config/services/hydra.nix +++ b/config/services/hydra.nix @@ -92,9 +92,10 @@ in Type = "oneshot"; }; script = '' - rm -f /run/hydra-machines if ${pkgs.iputils}/bin/ping -c 1 nutty-noon.int.chir.rs; then echo "build-pc armv7l-linux,aarch64-linux,powerpc-linux,powerpc64-linux,powerpc64le-linux,riscv32-linux,riscv64-linux,wasm32-wasi,x86_64-linux,i686-linux - 16 2 kvm,nixos-test,big-parallel,benchmark,gccarch-znver2,gccarch-znver1,gccarch-skylake,ca-derivations -" > /run/hydra-machines + else + rm -f /run/hydra-machines fi ''; };