Merge topic 'ci-ninja-1.12.1' 6fb9e92238 ci: update to use ninja 1.12.1 Acked-by: Kitware Robot <kwrobot@kitware.com> Acked-by: buildbot <buildbot@kitware.com> Merge-request: !9756