From 15737aa2db0274de835a158e05d0636046da8f06 Mon Sep 17 00:00:00 2001 From: Kevin Fenzi Date: Mon, 18 Jul 2016 19:25:29 +0000 Subject: [PATCH] drop arm04-builder17 also --- inventory/builders | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/inventory/builders b/inventory/builders index 56caed55ca..167d72269a 100644 --- a/inventory/builders +++ b/inventory/builders @@ -230,7 +230,8 @@ arm04-builder13.arm.fedoraproject.org arm04-builder14.arm.fedoraproject.org arm04-builder15.arm.fedoraproject.org arm04-builder16.arm.fedoraproject.org -arm04-builder17.arm.fedoraproject.org +# Crashes under load - 20160718 +#arm04-builder17.arm.fedoraproject.org arm04-builder18.arm.fedoraproject.org arm04-builder19.arm.fedoraproject.org arm04-builder20.arm.fedoraproject.org