From 636cb8c4a705183d2d14892228bc78ce8dc76918 Mon Sep 17 00:00:00 2001
From: augustin_s <sven.augustin@psi.ch>
Date: Thu, 9 Jul 2026 11:34:45 +0200
Subject: [PATCH] Update autodeploy/setup.sh

---
 autodeploy/setup.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh
index 3931b3e..3152815 100755
--- a/autodeploy/setup.sh
+++ b/autodeploy/setup.sh
@@ -33,10 +33,11 @@ fi
 echo pixi config pypi mirror
 "$GITHUB_WORKSPACE/pixi" config set pypi-config.index-url https://pypi.psi.ch/simple
 
-ls -la .pixi/envs/default/bin/
+ls -la .pixi/envs/default/bin/python3.14
+.pixi/envs/default/bin/python3.14 -c 'print("python ran ?!?")'
 
 echo "pixi install"
-"$GITHUB_WORKSPACE/pixi" install --all --no-progress -vvvv
+"$GITHUB_WORKSPACE/pixi" install --all --no-progress
 
 
 #echo "copy owner group from level above"