build: simplify and improve sphinx tool #129
| Job | Run time |
|---|---|
| 1h 32m 55s | |
| 1h 34m 26s | |
| 22m 34s | |
| 19m 24s | |
| 25m 52s | |
| 23m 53s | |
| 22m 20s | |
| 27m 20s | |
| 21m 59s | |
| 22m 3s | |
| 25m 30s | |
| 34m 53s | |
| 22m 7s | |
| 11m 17s | |
| 18m 15s | |
| 19m 52s | |
| 19m 21s | |
| 20m 58s | |
| 21m 50s | |
| 22m 28s | |
| 21m 58s | |
| 23m 8s | |
| 22m 43s | |
| 21m 16s | |
| 22m 3s | |
| 11h 40m 25s |