Gallopsled / pwntools / 7031694514

71%

dev: 74%

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