diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index 782d731..3931b3e 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -33,6 +33,8 @@ fi echo pixi config pypi mirror "$GITHUB_WORKSPACE/pixi" config set pypi-config.index-url https://pypi.psi.ch/simple +ls -la .pixi/envs/default/bin/ + echo "pixi install" "$GITHUB_WORKSPACE/pixi" install --all --no-progress -vvvv