From 554270393043c2c893b819f43ef59a1c732ded62 Mon Sep 17 00:00:00 2001 From: Mark Wielaard Date: Thu, 28 Apr 2022 13:35:07 +0200 Subject: [PATCH] Disable gccrust-debian-arm64 builder The little arm64 board just runs out of memory too often. --- builder/master.cfg | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/builder/master.cfg b/builder/master.cfg index dc6afcd..0c39365 100644 --- a/builder/master.cfg +++ b/builder/master.cfg @@ -347,7 +347,7 @@ gccrust_scheduler = schedulers.SingleBranchScheduler( fileIsImportant=gccrsImportant, builderNames=["gccrust-fedora-x86_64", "gccrust-debian-i386", - "gccrust-debian-arm64", +# "gccrust-debian-arm64", "gccrust-fedora-ppc64le", "gccrust-fedora-ppc64", "gccrust-fedora-s390x", @@ -1061,12 +1061,13 @@ gccrust_debian_i386_builder = util.BuilderConfig( factory=gccrust_factory) c['builders'].append(gccrust_debian_i386_builder) -gccrust_debian_arm64_builder = util.BuilderConfig( - name="gccrust-debian-arm64", - workernames=["debian-arm64"], - tags=["gccrust", "debian", "arm64"], - factory=gccrust_factory) -c['builders'].append(gccrust_debian_arm64_builder) +# The poor little arm64 board just runs out of memory +#gccrust_debian_arm64_builder = util.BuilderConfig( +# name="gccrust-debian-arm64", +# workernames=["debian-arm64"], +# tags=["gccrust", "debian", "arm64"], +# factory=gccrust_factory) +#c['builders'].append(gccrust_debian_arm64_builder) gccrust_fedora_ppc64le_builder = util.BuilderConfig( name="gccrust-fedora-ppc64le", -- 2.27.0