From 235d853a8bff34962e83a46457ec1eb624dc1a3d Mon Sep 17 00:00:00 2001 From: augustin_s Date: Sun, 28 Jun 2026 20:02:07 +0200 Subject: [PATCH] forgot the command --- autodeploy/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index 388e478..930bbc1 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -31,7 +31,7 @@ else fi echo pixi config pypi mirror -"$GITHUB_WORKSPACE/pixi" config pypi-config.index-url https://pypi.psi.ch/simple +"$GITHUB_WORKSPACE/pixi" config set pypi-config.index-url https://pypi.psi.ch/simple echo "pixi install" "$GITHUB_WORKSPACE/pixi" install --all --no-progress