An error occurred while fetching the assigned milestone of the selected merge_request.
Update readthedocs config
- Oct 18, 2023
-
-
Nicki Křížek authored
Doc builds on readthedocsc.org were still failing because of the missing `build.os` key. Update the config to conform with the recommendations from https://docs.readthedocs.io/en/stable/config-file/v2.html
-