disable progress bar to reduce logging noise

2026-06-18 10:19:15 +02:00
parent 7af539d0ab
commit ff377a95fe
1 changed files with 1 additions and 1 deletions
@@ -35,7 +35,7 @@ chmod +x "$GITHUB_WORKSPACE/pixi"
 cd "$DESTINATION_DIR"

 "$GITHUB_WORKSPACE/pixi" init || true
-"$GITHUB_WORKSPACE/pixi" install --all
+"$GITHUB_WORKSPACE/pixi" install --all --no-progress

 # copy owner group from level above
 group=$(stat -c '%g' ..)