Skip to content

Separate run_tests.sh and the compilation

Manuel Huber requested to merge separate-tests-and-compilation into main

Don't force usage of ninja-build

Merge request reports