diff --git a/.github/workflows/prof_tests.yml b/.github/workflows/prof_tests.yml index bd6def9cab..0331981599 100644 --- a/.github/workflows/prof_tests.yml +++ b/.github/workflows/prof_tests.yml @@ -8,7 +8,7 @@ on: defaults: run: - shell: /bin/bash -ieo pipefail {0} + shell: /bin/bash -leo pipefail {0} jobs: profiling-tests: