diff options
| author |  MarkKoz <[email protected]> | 2022-02-13 11:04:43 -0800 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2022-02-13 11:04:43 -0800 |
| commit | e3aada0ff376ac10d967b0288ce40f43fb224879 (patch) | |
| tree | c4d41f9d94a10ffe8fcd280c63a2cf6b81a5fad8 /.github | |
| parent | CI: replace "artefact" with "artifact" (diff) | |
CI: remove unnecessary shell option from script
There are no pipes the in script, so the presence of -o pipefail may
confuse readers.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 51de09f..28e5b69 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -54,7 +54,7 @@ jobs: - name: Configure cache id: cache_config run: | - set -euo pipefail + set -eu if [ "$GITHUB_EVENT_NAME" = 'pull_request' ]; then cache_from="type=gha,scope=buildkit-${GITHUB_REF}" cache_to="${cache_from},mode=max" |