Update ReadTheDocs config #658
Description
ReadTheDocs config format is changing. See here for more details. We need to tweak the builds before October 2023.
{{ message }}
ReadTheDocs config format is changing. See here for more details. We need to tweak the builds before October 2023.