diff options
| -rw-r--r-- | inventory/builders | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/inventory/builders b/inventory/builders index dd001d6fd..21a661d31 100644 --- a/inventory/builders +++ b/inventory/builders @@ -243,7 +243,8 @@ buildppcle-04.ppc.fedoraproject.org [buildaarch64] aarch64-02a.arm.fedoraproject.org -aarch64-03a.arm.fedoraproject.org +# Marked DEAD in pdu +#aarch64-03a.arm.fedoraproject.org aarch64-04a.arm.fedoraproject.org aarch64-05a.arm.fedoraproject.org aarch64-06a.arm.fedoraproject.org |