From 88d961efa396ae65caed8760fb2d4674773b720a Mon Sep 17 00:00:00 2001
From: Sven Augustin <sven.augustin@psi.ch>
Date: Fri, 19 Jun 2026 10:27:36 +0200
Subject: [PATCH] run python/ipython once

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

diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh
index 57f1d2b..af7805e 100755
--- a/autodeploy/setup.sh
+++ b/autodeploy/setup.sh
@@ -34,6 +34,11 @@ echo "pixi install"
 "$GITHUB_WORKSPACE/pixi" install --all --no-progress
 
 
+# create .pyc files to speed up first run
+"$GITHUB_WORKSPACE/pixi" run python -c 'print("python ran once")'
+"$GITHUB_WORKSPACE/pixi" run ipython -c 'print("ipython ran once")' || true
+
+
 #echo "copy owner group from level above"
 #group=$(stat -c '%g' ..)
 #echo "=> group ID: $group"