diff options
| author | mbkma <[email protected]> | 2026-01-30 00:26:19 +0100 |
|---|---|---|
| committer | mbkma <[email protected]> | 2026-01-30 00:26:19 +0100 |
| commit | 5e225e1fe5be98d19bd75b06005824bc79bce9aa (patch) | |
| tree | c4ad0a91c81ffb4456bcdadf0275b89bf0034804 /.github | |
| parent | aeae0cafb6e88bcdf056f410e8e2f0ba770a3401 (diff) | |
| download | caja-extensions-gh-actions.tar.bz2 caja-extensions-gh-actions.tar.xz | |
ci: add set -eo pipefail to workflow scriptsgh-actions
Diffstat (limited to '.github')
| -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 263938a..8a202f0 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 1c25d5f..8afc9b5 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 c9ab43d..31c0b7c 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 9213e40..70d8ad1 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}" |