diff options
| author | mbkma <[email protected]> | 2026-01-30 00:26:19 +0100 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2026-05-04 20:25:50 -0400 |
| commit | 33763cc909952da957bb61206b257193e8b3cf9b (patch) | |
| tree | 16eeb6323a7ec3cbe5cdd5d1f2886b36e89785e2 | |
| parent | 45e44bf115bb2320f242d3647bfbc903d38e367c (diff) | |
| download | caja-dropbox-33763cc909952da957bb61206b257193e8b3cf9b.tar.bz2 caja-dropbox-33763cc909952da957bb61206b257193e8b3cf9b.tar.xz | |
ci: add set -eo pipefail to workflow scripts
| -rwxr-xr-x | .github/workflows/archlinux.sh | 2 | ||||
| -rwxr-xr-x | .github/workflows/debian.sh | 2 | ||||
| -rwxr-xr-x | .github/workflows/fedora.sh | 2 | ||||
| -rwxr-xr-x | .github/workflows/ubuntu.sh | 2 |
4 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/archlinux.sh b/.github/workflows/archlinux.sh index 1b51ed1..7a789ab 100755 --- a/.github/workflows/archlinux.sh +++ b/.github/workflows/archlinux.sh @@ -1,5 +1,7 @@ #!/usr/bin/bash +set -eo pipefail + # Use grouped output messages infobegin() { echo "::group::${1}" diff --git a/.github/workflows/debian.sh b/.github/workflows/debian.sh index 91f9541..e089cc5 100755 --- a/.github/workflows/debian.sh +++ b/.github/workflows/debian.sh @@ -1,5 +1,7 @@ #!/usr/bin/bash +set -eo pipefail + # Use grouped output messages infobegin() { echo "::group::${1}" diff --git a/.github/workflows/fedora.sh b/.github/workflows/fedora.sh index 759d8dc..7acb497 100755 --- a/.github/workflows/fedora.sh +++ b/.github/workflows/fedora.sh @@ -1,5 +1,7 @@ #!/usr/bin/bash +set -eo pipefail + # Use grouped output messages infobegin() { echo "::group::${1}" diff --git a/.github/workflows/ubuntu.sh b/.github/workflows/ubuntu.sh index 996b61b..eba2210 100755 --- a/.github/workflows/ubuntu.sh +++ b/.github/workflows/ubuntu.sh @@ -1,5 +1,7 @@ #!/usr/bin/bash +set -eo pipefail + # Use grouped output messages infobegin() { echo "::group::${1}" |