From 5e225e1fe5be98d19bd75b06005824bc79bce9aa 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/ubuntu.sh | 2 ++
 1 file changed, 2 insertions(+)

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

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}"
-- 
cgit v1.2.1