Update autodeploy/setup.sh

2026-07-09 11:53:51 +02:00
parent a48cc54309
commit 95cc80f32e
1 changed files with 1 additions and 1 deletions
@@ -34,7 +34,7 @@ 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/python3.14
-file .pixi/envs/default/bin/python3.14
+readelf -h .pixi/envs/default/bin/python3.14
 .pixi/envs/default/bin/python3.14 -c 'print("python ran ?!?")'

 echo "pixi install"