Skip to content
GitLab
Explore
Sign in
Testing ninja as build system instead of make.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Eric Dejouhanet
requested to merge
improve__use_ninja_in_ci
into
master
Sep 19, 2020
Overview
3
Commits
22
Pipelines
21
Changes
3
Expand
This MR replaces
make
with
ninja
in the CI pipeline.
Edited
Sep 21, 2020
by
Eric Dejouhanet
Merge request reports
Loading