Add Github CI doc job

.github/workflows/ci.yml

@@ -63,5 +63,22 @@ jobs:
             env:
                 COVERAGE: ${{ secrets.COVERAGE }}
 
+    docs:
+        name: Documentation
+        runs-on: ubuntu-latest
+        steps:
+        -   uses: actions/checkout@v2
+        -
+            uses: actions/setup-python@v1
+            with:
+                python-version: '3.x'
+        -   name: "Main Script"
+            run: |
+                EXTRA_INSTALL="numpy"
+                curl -L -O -k https://gitlab.tiker.net/inducer/ci-support/raw/master/ci-support.sh
+                . ci-support.sh
+                build_py_project_in_venv
+                build_docs
+
 # vim: sw=4