Gallopsled / pwntools / 7034549288

19%

push

github

Explicitly select readthedocs theme (#2311)

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

4595 of 7277 branches covered (0.0%)

12865 of 17270 relevant lines covered (74.49%)

0.74 hits per line