Skip to content

Merge pull request #724 from jorisv/topic/distcheck_ninja_pixi #1301

Merge pull request #724 from jorisv/topic/distcheck_ninja_pixi

Merge pull request #724 from jorisv/topic/distcheck_ninja_pixi #1301

Annotations

1 warning

build-ubuntu

succeeded Nov 5, 2024 in 8s