File 0358-Fail-if-base-image-cannot-be-built.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0358-Fail-if-base-image-cannot-be-built.patch of Package erlang (Revision 6af34d10e5fc1c974d15399d1aade82a)

Currently displaying revision 6af34d10e5fc1c974d15399d1aade82a , Show latest

From 1651a0aea3a9d413c4755e5487920b69174c1a9a Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Wed, 10 Jan 2024 13:48:38 +0100
Subject: [PATCH] Fail if base image cannot be built

---
 .github/actions/build-base-image/action.yaml | 4 ++--
 .github/scripts/build-base-image.sh          | 2 ++
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/actions/build-base-image/action.yaml b/.github/actions/build-base-image/action.yaml
index a3f0b290b1..88de25a87b 100644
--- a/.github/actions/build-base-image/action.yaml
+++ b/.github/actions/build-base-image/action.yaml
@@ -16,7 +16,7 @@ runs:
     using: composite
     steps:
       - name: Cleanup GH Runner
-        shell: bash -euxo pipefail {0}
+        shell: bash -euo pipefail {0}
         run: |
             ## Delete large files from runner to get more disk space
             ## See https://github.com/actions/runner-images/issues/2840
@@ -55,7 +55,7 @@ runs:
             key: prebuilt-${{ github.ref_name }}-${{ github.sha }}
       - name: Build image
         if: inputs.BUILD_IMAGE == 'true'
-        shell: bash -euxo pipefail {0}
+        shell: bash -eo pipefail {0}
         run: |
           .github/scripts/restore-from-prebuilt.sh `pwd` .github/otp.tar.gz
           rm -f otp_{src,cache}.tar.gz
-- 
2.35.3

Places

File 0358-Fail-if-base-image-cannot-be-built.patch of Package erlang (Revision 6af34d10e5fc1c974d15399d1aade82a)

Places