diff options
Diffstat (limited to '.github/workflows')
| -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 82fcf82..aaa9b92 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 1803fcb..42f3bbc 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 dae2aad..cd40175 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 a0b8b4f..5a3e1d6 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}" |