Update autodeploy/setup.sh

2026-07-09 11:34:45 +02:00
parent fe8de92496
commit 636cb8c4a7
1 changed files with 3 additions and 2 deletions
@@ -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"