build: simplify and improve sphinx tool #88
Job | Run time |
---|---|
1h 44m 44s | |
26m 8s | |
1h 47m 26s | |
31m 49s | |
26m 28s | |
2h 4m 59s | |
24m 9s | |
28m 19s | |
21m 55s | |
57m 49s | |
20m 0s | |
54m 33s | |
34m 45s | |
23m 26s | |
15m 28s | |
25m 13s | |
25m 10s | |
26m 21s | |
28m 18s | |
27m 51s | |
27m 14s | |
28m 13s | |
29m 37s | |
27m 45s | |
28m 22s | |
16h 16m 2s |