Closed
Description
Summary
The build_docs
CI step is done on CircleCI and takes ~20 minutes. CircleCI already has a bunch of jobs to run, so the docs-building step can block other jobs. Additionally, there have been times where the CircleCI build didn't match up with the RTD build.
Additional details
The main benefits are reduced testing time and better alignment between testing-generated docs and deployed (RTD) docs.
Next steps
- Look into an RTD Action and see if I can build it in PRs.
- Remove old CircleCI docs job.
- Add new Action.