diff options
| author | mbkma <[email protected]> | 2026-01-30 00:26:20 +0100 |
|---|---|---|
| committer | mbkma <[email protected]> | 2026-01-30 00:26:20 +0100 |
| commit | d767e153760509a4d2f3b7c894cda3db58dd7847 (patch) | |
| tree | dfcb080c2bb380b4d1c1f980751ef470ad1f7986 /.github/workflows/debian.sh | |
| parent | 557d1cf41c99580a284db7fa9c236479321b819a (diff) | |
| download | mate-polkit-gh-actions.tar.bz2 mate-polkit-gh-actions.tar.xz | |
ci: add set -eo pipefail to workflow scriptsgh-actions
Diffstat (limited to '.github/workflows/debian.sh')
| -rwxr-xr-x | .github/workflows/debian.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/debian.sh b/.github/workflows/debian.sh index dd274cf..f547f96 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}" |