@@ -130,7 +130,7 @@ jobs:
130130 env :
131131 OVERRIDES : ${{ join( matrix.overrides, ' ') }}
132132 CONFIGFILE : ' .github/workflows/root-ci-config/buildconfig/${{ matrix.platform }}.txt'
133- shell : bash -leo pipefail {0}
133+ shell : bash
134134 run : |
135135 set -x
136136
@@ -158,6 +158,7 @@ jobs:
158158 run : ' echo SSL_CERT_FILE=/opt/local/share/curl/curl-ca-bundle.crt >> $GITHUB_ENV'
159159
160160 - name : Pull Request Build
161+ shell : bash -leo pipefail {0}
161162 if : github.event_name == 'pull_request'
162163 env :
163164 INCREMENTAL : ${{ !contains(github.event.pull_request.labels.*.name, 'clean build') }}
@@ -174,6 +175,7 @@ jobs:
174175 --platform ${{ matrix.platform }}"
175176
176177 - name : Workflow dispatch
178+ shell : bash -leo pipefail {0}
177179 if : ${{ github.event_name == 'workflow_dispatch' && !matrix.is_special }}
178180 run : " .github/workflows/root-ci-config/build_root.py
179181 --buildtype ${{ inputs.buildtype }}
@@ -185,6 +187,7 @@ jobs:
185187 --repository ${{ github.server_url }}/${{ github.repository }}"
186188
187189 - name : Nightly build
190+ shell : bash -leo pipefail {0}
188191 if : github.event_name == 'schedule'
189192 run : " .github/workflows/root-ci-config/build_root.py
190193 --buildtype Release
@@ -195,6 +198,7 @@ jobs:
195198 --repository ${{ github.server_url }}/${{ github.repository }}"
196199
197200 - name : Update build cache after push to release branch
201+ shell : bash -leo pipefail {0}
198202 if : github.event_name == 'push'
199203 run : " .github/workflows/root-ci-config/build_root.py
200204 --buildtype RelWithDebInfo
0 commit comments