From 95cc80f32e66797c3ae9992c612dc8cfd5150ce6 Mon Sep 17 00:00:00 2001 From: augustin_s Date: Thu, 9 Jul 2026 11:53:51 +0200 Subject: [PATCH] Update autodeploy/setup.sh --- autodeploy/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index 66ec814..ed55de9 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -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"