mypy ReadTheDocs build is failing

[hauntsaninja]

See https://readthedocs.org/projects/mypy/builds/

It looks like this is related to sphinx-doc/sphinx#9777 , in which case the quickest resolution is probably just pinning some package versions.

However, it looks like the ReadTheDocs build its own instructions that are unrelated to tox -e docs / the versions specified in the mypy repo. I'm not really familiar with RTD — where are its build steps coming from and who has permission to change it?

[astrojuanlu]

MyPy could add a .readthedocs.yaml file to tell Read the Docs to use https://github.com/python/mypy/blob/master/docs/requirements-docs.txt, see readthedocs/readthedocs.org#8616 (comment)

[hauntsaninja]

Thanks astrojuanlu and sobolevn!!!

[hauntsaninja]

Hooray!