configure PSI pypi mirror

2026-06-28 20:01:04 +02:00
parent bffce70c5f
commit e70bef2c61
1 changed files with 3 additions and 0 deletions
@@ -30,6 +30,9 @@ else
    "$GITHUB_WORKSPACE/pixi" init
 fi

+echo pixi config pypi mirror
+"$GITHUB_WORKSPACE/pixi" config pypi-config.index-url https://pypi.psi.ch/simple
+
 echo "pixi install"
 "$GITHUB_WORKSPACE/pixi" install --all --no-progress