From 0f7b00f89b171d1fb05cb0085fa99e3bbc9686d1 Mon Sep 17 00:00:00 2001
From: mbkma <johannes.unruh@fau.de>
Date: Fri, 30 Jan 2026 00:26:21 +0100
Subject: ci: add set -eo pipefail to workflow scripts

---
 .github/workflows/debian.sh | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.github/workflows/debian.sh')

diff --git a/.github/workflows/debian.sh b/.github/workflows/debian.sh
index 6c4dba6..ab5f506 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}"
-- 
cgit v1.2.1