doc: add instructions to build with ninja (#1709) #1468
| Job | Run time |
|---|---|
| 18m 14s | |
| 13m 7s | |
| 20m 4s | |
| 17m 25s | |
| 11m 59s | |
| 18m 6s | |
| 18m 52s | |
| 19m 0s | |
| 14m 19s | |
| 19m 17s | |
| 17m 17s | |
| 18m 40s | |
| 13m 59s | |
| 15m 51s | |
| 14m 46s | |
| 18m 8s | |
| 20m 5s | |
| 19m 19s | |
| 18m 56s | |
| 13m 12s | |
| 14m 24s | |
| 18m 25s | |
| 14m 56s | |
| 17m 48s | |
| 6h 46m 9s |