Skip to content

Commit e4bec76

Browse files
authored
makes sure bash executes .bash_profile (#20622)
* makes sure bash executes .bash_profile * Add some debugging * do not modify the linux part * Mimic what is done for 6.38 --------- Co-authored-by: Olivier Couet <>
1 parent 8664005 commit e4bec76

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

.github/workflows/root-ci-config/build_root.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -308,6 +308,8 @@ def download_artifacts(obj_prefix: str):
308308
@github_log_group("Node state")
309309
def show_node_state() -> None:
310310
result = subprocess_with_log("""
311+
echo $SHELL
312+
echo $PATH
311313
which cmake
312314
cmake --version
313315
which c++ || true

.github/workflows/root-ci.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -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

Comments
 (0)