forgot the command

2026-06-28 20:02:07 +02:00
parent e70bef2c61
commit 235d853a8b
1 changed files with 1 additions and 1 deletions
@@ -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