Skip to content

Use ninja -k option in CI

Robert Schmidt requested to merge build-options into develop

Use ninja -k10 in the CI to keep going after build errors to see more errors than just the first.

Merge request reports