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

---
 autodeploy/setup.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

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 ?!?")'