From a80321b076d6609f7b71c480a3ab3546edd6e153 Mon Sep 17 00:00:00 2001
From: Sven Augustin <sven.augustin@psi.ch>
Date: Thu, 18 Jun 2026 22:47:02 +0200
Subject: [PATCH] test

---
 autodeploy/setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh
index 33d9952..c414449 100755
--- a/autodeploy/setup.sh
+++ b/autodeploy/setup.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -xeuo pipefail
+set -euo pipefail
 
 echo "Workspace:   $GITHUB_WORKSPACE"