commit f0ad6ac839e84de63e4f26626f7a16d6c8e1a0eb
parent af10b9d78fb6924d7641911d3ac8f1fa179459fa
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Mon, 3 Mar 2025 08:42:28 +0100
fix
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
@@ -443,7 +443,7 @@ SCHEDULERS.append(schedulers.AnyBranchScheduler(
repository='https://git.gnunet.org/gnunet.git'),
treeStableTimer=None,
builderNames=["gnunet-debian-x86_64",
- "gnunet-debian-x86_64-autotools"
+ "gnunet-debian-x86_64-autotools",
"gnunet-fedora-aarch64"]))
SCHEDULERS.append(schedulers.SingleBranchScheduler(