doc: add instructions to build with ninja #1464
| Job | Run time |
|---|---|
| 13m 46s | |
| 20m 0s | |
| 20m 38s | |
| 18m 52s | |
| 14m 24s | |
| 13m 12s | |
| 18m 49s | |
| 19m 16s | |
| 19m 6s | |
| 14m 59s | |
| 21m 19s | |
| 13m 24s | |
| 13m 23s | |
| 19m 30s | |
| 14m 27s | |
| 21m 35s | |
| 15m 38s | |
| 19m 8s | |
| 19m 6s | |
| 19m 44s | |
| 18m 41s | |
| 20m 20s | |
| 20m 3s | |
| 18m 25s | |
| 7h 7m 45s |