Switch to Ninja

[Tyler-Lentz]

Motivation

• Running with make obcpp -j 8: 1m49s
• Running with ninja obcpp -j 8: 1m12s

Everything seems to just work. In like 5 hours from now the obcpp docker image should contain ninja-build, because #139 added ninja-build to the docker container. At that time I will rerun the actions and make sure they still work.

Also I accidentally already updated the README to say it uses ninja in #139, so if for some reason we don't end up switching because of unforeseen problems then we should go back and fix that. But we should keep the note about -j 8 but in the context of make.

[atar13]

builds fine on my end

[Samir-Rashid]

Great work soldier. The battlefront against Ninjas has been vanquished after 5 months 2efd9f0.

I will warn you that the hosted runners have 4 cores 16GB RAM (reference). Hopefully more jobs does not exhaust the runner's memory and kill the build. We will see.

[Tyler-Lentz]

Great work soldier. The battlefront against Ninjas has been vanquished after 5 months 2efd9f0.

I will warn you that the hosted runners have 4 cores 16GB RAM (reference). Hopefully more jobs does not exhaust the runner's memory and kill the build. We will see.

It's a good thing I randomly chose 4 for the action runner (I typed in a random number, I guess I am just prophetic)