From 7603c7b20a061ee1b7072cbee8a0c50308895e8b Mon Sep 17 00:00:00 2001 From: Sven Augustin Date: Thu, 18 Jun 2026 10:37:49 +0200 Subject: [PATCH] only run pixi init if needed --- autodeploy/setup.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index d0e33df..fa575e6 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -34,7 +34,13 @@ chmod +x "$GITHUB_WORKSPACE/pixi" cd "$DESTINATION_DIR" -"$GITHUB_WORKSPACE/pixi" init || true +if [[ -f "pixi.toml" ]]; then + echo "pixi already initialized" +else + echo "pixi init" + "$GITHUB_WORKSPACE/pixi" init +fi + echo "pixi install" "$GITHUB_WORKSPACE/pixi" install --all --no-progress