diff options
Diffstat (limited to '.github/workflows/ubuntu.sh')
| -rwxr-xr-x | .github/workflows/ubuntu.sh | 2 |
1 files changed, 2 insertions, 0 deletions
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}" |