diff options
| author | Trevor Gross <tmgross@umich.edu> | 2025-07-30 09:56:11 -0500 |
|---|---|---|
| committer | Trevor Gross <tmgross@umich.edu> | 2025-07-30 09:57:45 -0500 |
| commit | 3cbd088ee4e453eeab2d3cfae3e047b7e12bece8 (patch) | |
| tree | a7ac28e3eb7ce25e757e24e4565c9b9f39baa73b | |
| parent | 4ebfdf74dbd29acc442cd91ab43483260e9ce668 (diff) | |
| download | rust-3cbd088ee4e453eeab2d3cfae3e047b7e12bece8.tar.gz rust-3cbd088ee4e453eeab2d3cfae3e047b7e12bece8.zip | |
ci: Set pipefail before running ci-util
Currently, a failure in `ci-util.py` does not cause the job to fail
because the pipe eats the failure status . Set pipefail to fix this.
Fixes: ff2cc0e38e3e ("ci: Don't print output twice in `ci-util`")
| -rw-r--r-- | library/compiler-builtins/.github/workflows/main.yaml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/library/compiler-builtins/.github/workflows/main.yaml b/library/compiler-builtins/.github/workflows/main.yaml index 939bc34c264..c54df2e90b7 100644 --- a/library/compiler-builtins/.github/workflows/main.yaml +++ b/library/compiler-builtins/.github/workflows/main.yaml @@ -34,7 +34,9 @@ jobs: - name: Fetch pull request ref run: git fetch origin "$GITHUB_REF:$GITHUB_REF" if: github.event_name == 'pull_request' - - run: set -e; python3 ci/ci-util.py generate-matrix | tee "$GITHUB_OUTPUT" + - run: | + set -eo pipefail # Needed to actually fail the job if ci-util fails + python3 ci/ci-util.py generate-matrix | tee "$GITHUB_OUTPUT" id: script test: |