diff options
| author | mbkma <[email protected]> | 2026-01-30 00:26:20 +0100 |
|---|---|---|
| committer | mbkma <[email protected]> | 2026-03-11 23:32:00 +0100 |
| commit | c66f275cdaef07a1bdc2eb2031872c9263a53658 (patch) | |
| tree | e3251ffdb35a7c94c129a196fd1c885890573191 | |
| parent | 056cdc14c486ed0362fd2fdbc0eff8325c6bb8fe (diff) | |
| download | mate-terminal-c66f275cdaef07a1bdc2eb2031872c9263a53658.tar.bz2 mate-terminal-c66f275cdaef07a1bdc2eb2031872c9263a53658.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 c15ab1e..14745de 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 c017cbf..d4ada3a 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 3ee9b98..5199b86 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 f2b22b4..e31cf6b 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}" |