From: Patrick Steinhardt Date: Fri, 06 Dec 2024 11:10:12 GMT Subject: [PATCH 0/4] Random improvements to GitLab CI Message-ID: <20241206-pks-ci-section-fixes-v1-0-7ab1b69e3648@pks.im> Hi, this small patch series includes a couple of more-or-less random improvements to GitLab CI. Thanks! Patrick --- Patrick Steinhardt (4): gitlab-ci: update macOS images to Sonoma ci/lib: remove duplicate trap to end "CI setup" group ci/lib: use echo instead of printf to set up sections ci/lib: fix "CI setup" sections with GitLab CI .gitlab-ci.yml | 4 ++-- ci/lib.sh | 9 ++++----- 2 files changed, 6 insertions(+), 7 deletions(-) --- base-commit: e66fd72e972df760a53c3d6da023c17adfc426d6 change-id: 20241206-pks-ci-section-fixes-1bb91ceb50b8