doc: add instructions to build with ninja (#1709) #1602
| Job | Run time |
|---|---|
| 4m 46s | |
| 8m 14s | |
| 11m 29s | |
| 6m 36s | |
| 11m 22s | |
| 11m 5s | |
| 6m 6s | |
| 8m 15s | |
| 11m 30s | |
| 11m 35s | |
| 11m 16s | |
| 6m 55s | |
| 6m 23s | |
| 7m 12s | |
| 7m 17s | |
| 5m 29s | |
| 4m 14s | |
| 8m 12s | |
| 7m 0s | |
| 5m 46s | |
| 7m 52s | |
| 7m 54s | |
| 10m 5s | |
| 11m 31s | |
| 3h 18m 4s |