From de9f3d3d328374df6f6d2c0dd30b8d9e95c6bb4f Mon Sep 17 00:00:00 2001 From: Timo Wilken Date: Tue, 21 Nov 2023 09:37:19 +0100 Subject: [PATCH] Update alibuild in CI to v1.15.3 This fixes an error while installing alibuild. --- ci/repo-config/DEFAULTS.env | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/repo-config/DEFAULTS.env b/ci/repo-config/DEFAULTS.env index c0a2c1d0..f419c125 100644 --- a/ci/repo-config/DEFAULTS.env +++ b/ci/repo-config/DEFAULTS.env @@ -6,5 +6,5 @@ BUILD_SUFFIX=master MAX_DIFF_SIZE=20000000 TIMEOUT=120 LONG_TIMEOUT=36000 -INSTALL_ALIBUILD='alisw/alibuild@v1.14.6#egg=alibuild' +INSTALL_ALIBUILD='alisw/alibuild@v1.15.3#egg=alibuild' INSTALL_ALIBOT='alisw/ali-bot@master#egg=ali-bot'