From 499cb626a3a26d66a9183608439ea936b52ce652 Mon Sep 17 00:00:00 2001 From: Christoph Berg Date: Thu, 18 Jul 2024 14:40:30 +0200 Subject: [PATCH] Fix pgarm64 hostname --- jenkins/ansible/hosts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/ansible/hosts b/jenkins/ansible/hosts index f868d0d..fb2c5d0 100644 --- a/jenkins/ansible/hosts +++ b/jenkins/ansible/hosts @@ -1,6 +1,6 @@ pgdgbuild.dus.dg-i.net chroot_dir=/home/chroot.buexcl run_opts="size=20G" pgx86 chroot_dir=/home/chroot run_opts="size=50G" -pgdgbuild-arm64 chroot_dir=/home/chroot run_opts="size=50G" +pgarm64 chroot_dir=/home/chroot run_opts="size=50G" # ppc64el: 24GB is not enough to build postgis with 4 workers (huge B-Ds) pgppc64el chroot_dir=/home/chroot run_opts="size=100G,nr_inodes=800k" pgs390x chroot_dir=/home/chroot run_opts="size=100G,nr_inodes=800k" -- 2.39.5