Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Support RTD_USE_PROMOS for setting USE_PROMOS in dev (#11790)
<!-- readthedocs-preview docs start --> --- :books: Documentation previews :books: - User's documentation (`docs`): https://docs--11790.org.readthedocs.build/en/11790/ <!-- readthedocs-preview docs end --> <!-- readthedocs-preview dev start --> - Developer's documentation (`dev`): https://dev--11790.org.readthedocs.build/en/11790/ <!-- readthedocs-preview dev end --> --------- Co-authored-by: Manuel Kaufmann <[email protected]>