Adding build.os to ReadTheDocs configuration file (!2127) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Mike Thompson requested to merge github/fork/MikeOpenHWGroup/add_build_os into master Aug 16, 2023

Message from RTD: The build.image config key on .readthedocs.yaml has been deprecated, and will be removed on October 16, 2023. Please use build.os on your configuration file to ensure that they continue building successfully and to stop receiving these notifications.

Adding build.os to ReadTheDocs configuration file

Merge request reports