Skip to content

Update readthedocs config

Nicki Křížek requested to merge readthedocs-config into master

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


Followup for !81 (merged)

Merge request reports