Add "docs" job to CircleCI workflow

This commit is contained in:
Sajith Sasidharan 2021-03-19 15:55:19 -04:00
parent 61fc96181e
commit 70291cd468

View File

@ -89,6 +89,9 @@ workflows:
- "typechecks":
<<: *DOCKERHUB_CONTEXT
- "docs":
<<: *DOCKERHUB_CONTEXT
images:
# Build the Docker images used by the ci jobs. This makes the ci jobs
# faster and takes various spurious failures out of the critical path.