Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build: Manually pull some RTD Context.
See https://about.readthedocs.com/blog/2024/07/addons-by-default/ for details but essentially RTD is changing how it's building docs and this will let us handle the change gracefully.
- Loading branch information