push
github
Explicitly select readthedocs theme The `sphinx_rtd_theme` has to be selected manually and isn't the default on RTD anymore. This seems to be part of a wave of deprecations in their build system. https://github.com/readthedocs/tutorial-template/blob/f594c4088/docs/source/conf.py#L32
4596 of 7278 branches covered (0.0%)
12866 of 17270 relevant lines covered (74.5%)
0.74 hits per line