Comment by droelf

Yes, that is built into `setup-pixi` github action, indeed!