ci: Bring back ninja for dist builders
The primary reason for this is that make can result in a substantial under utilization of parallelism (noticed while testing on a workstation), mostly due to the submake structure preventing good dependency tracking and scheduling.
In
|
||
|---|---|---|
| .. | ||
| docker | ||
| github-actions | ||
| scripts | ||
| channel | ||
| cpu-usage-over-time.py | ||
| pgo.sh | ||
| publish_toolstate.sh | ||
| run.sh | ||
| shared.sh | ||