switch docs theme to sphinx_rtd, unpin sphinx #1847
Job | Run time |
---|---|
14s | |
4s | |
11s | |
30m 40s | |
4m 36s | |
2m 8s | |
1m 41s | |
1m 36s | |
2m 24s | |
1m 8s | |
54s | |
1m 29s | |
1m 2s | |
48m 7s |
Job | Run time |
---|---|
14s | |
4s | |
11s | |
30m 40s | |
4m 36s | |
2m 8s | |
1m 41s | |
1m 36s | |
2m 24s | |
1m 8s | |
54s | |
1m 29s | |
1m 2s | |
48m 7s |