Skip to content

Allow to launch distcheck with Ninja and also add Pixi support#724

Merged
jorisv merged 3 commits intojrl-umi3218:masterfrom jorisv:topic/distcheck_ninja_pixiNov 5, 2024