Use system font when building documentation, cleanup some documentati… #905
Job | Run time |
---|---|
8m 1s | |
27m 39s | |
29m 17s | |
7m 42s | |
24m 39s | |
26m 9s | |
9m 8s | |
31m 59s | |
34m 54s | |
6m 45s | |
22m 36s | |
25m 48s | |
7m 57s | |
24m 48s | |
28m 5s | |
9m 15s | |
34m 33s | |
36m 35s | |
6h 35m 50s |