diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index ed55de9..28b3b14 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -33,6 +33,14 @@ fi echo pixi config pypi mirror "$GITHUB_WORKSPACE/pixi" config set pypi-config.index-url https://pypi.psi.ch/simple +which readelf +which scanelf +which xxd +which hexdump +which od +which strings +which unzip + ls -la .pixi/envs/default/bin/python3.14 readelf -h .pixi/envs/default/bin/python3.14 .pixi/envs/default/bin/python3.14 -c 'print("python ran ?!?")'