Skip to content
Snippets Groups Projects

CI: use ninja

Passed
Guillaume Pasero created pipeline for commit 1161d6cb
, finished
Related merge request !389 to merge ci_ninja
merge request
2 jobs 37 minutes 49 seconds, queued for 1 seconds