diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index 2774387..930bbc1 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -33,8 +33,6 @@ fi echo pixi config pypi mirror "$GITHUB_WORKSPACE/pixi" config set pypi-config.index-url https://pypi.psi.ch/simple -export RUST_BACKTRACE=full - echo "pixi install" "$GITHUB_WORKSPACE/pixi" install --all --no-progress