This repository was archived by the owner on Feb 19, 2022. It is now read-only.
This repository was archived by the owner on Feb 19, 2022. It is now read-only.
CI: Update RTD on merged PRs #209
Description
Add a documentation generation step to the pipeline, in order to keep our RTD page up-to-date.