From b0852f0fa3fa106acc8428126db64c63270fa744 Mon Sep 17 00:00:00 2001
From: Sven Augustin <sven.augustin@psi.ch>
Date: Fri, 19 Jun 2026 10:37:01 +0200
Subject: [PATCH] test

---
 autodeploy/setup.sh | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh
index 23c546d..57f1d2b 100755
--- a/autodeploy/setup.sh
+++ b/autodeploy/setup.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -xeuo pipefail
+set -euo pipefail
 
 
 SCRIPT_PATH=$(dirname "$0")
@@ -34,14 +34,6 @@ echo "pixi install"
 "$GITHUB_WORKSPACE/pixi" install --all --no-progress
 
 
-"$GITHUB_WORKSPACE/pixi" list
-ldd .pixi/envs/default/bin/python
-
-# create .pyc files to speed up first run
-"$GITHUB_WORKSPACE/pixi" run python -c 'print("python ran once")' || true
-"$GITHUB_WORKSPACE/pixi" run ipython -c 'print("ipython ran once")' || true
-
-
 #echo "copy owner group from level above"
 #group=$(stat -c '%g' ..)
 #echo "=> group ID: $group"