Skip to content
Snippets Groups Projects

extras: tools: update ninja to 1.12.1

Passed
Khalid Masum created pipeline for commit 7265c8f9
, finished
Related merge request !6937 to merge update-ninja
merge request
21 jobs 64 minutes 50 seconds, queued for 6 seconds