From 33763cc909952da957bb61206b257193e8b3cf9b Mon Sep 17 00:00:00 2001
From: mbkma <johannes.unruh@fau.de>
Date: Fri, 30 Jan 2026 00:26:19 +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 91f9541..e089cc5 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