Repository navigation

robostack-bot: update-pixi, a monthly pixi upgrade PR - #205

Merged

Tobias-Fischer merged 5 commits into

mainfrom

bot/update-pixi-command

Nov 9, 2026

Merged

robostack-bot: update-pixi, a monthly pixi upgrade PR#205
Tobias-Fischer merged 5 commits into
mainfrom
bot/update-pixi-command

Commits on Nov 9, 2026
- robostack-bot: update-pixi, a monthly pixi upgrade PR
  
  Tobias-Fischer
  and
  claude
  committed
  2e59453
- robostack-bot: build:none on the update-vinca and update-build-timings PRs
  
  Tobias-Fischer
  and
  claude
  committed
  2bd19f1
- Merge bot/build-none-default; update-pixi PRs get build:none too
  
  Tobias-Fischer
  and
  claude
  committed
  dcfeb32
- update-pixi: run pixi upgrade before pixi run
  
  Tobias-Fischer
  and
  claude
  committed
  c576ce4
- Merge remote-tracking branch 'origin/main' into bot/update-pixi-command
  Tobias-Fischer
  committed
  0def9f7