DevKit updates (#980)

.github/workflows/documentation.yaml

@@ -0,0 +1,53 @@
+on:
+    push:
+        paths:
+            - 'docs/**'
+
+    pull_request:
+        paths:
+            - 'docs/**'
+
+name: Documentation
+
+jobs:
+    build:
+        name: Build
+
+        runs-on: ubuntu-latest
+
+        steps:
+            - name: "Checkout"
+              uses: actions/checkout@v2
+
+            - name: "Set up Python 3.7"
+              uses: actions/setup-python@v1
+              with:
+                  python-version: '3.7' # Semantic version range syntax or exact version of a Python version
+
+            - name: "Display Python version"
+              run: python -c "import sys; print(sys.version)"
+
+            - name: "Install Sphinx dependencies"
+              run: sudo apt-get install python-dev build-essential
+
+            - name: "Install custom requirements via pip"
+              run: pip install -r docs/requirements.txt
+
+            - name: "Build documentation"
+              run: make docs
+
+    doctor-rst:
+        name: DOCtor-RST
+
+        runs-on: ubuntu-latest
+
+        steps:
+            - name: "Checkout"
+              uses: actions/checkout@master
+
+            - name: "Run DOCtor-RST"
+              uses: docker://oskarstark/doctor-rst
+              with:
+                  args: --short
+              env:
+                  DOCS_DIR: 'docs/'

.travis.yml

@@ -38,8 +38,6 @@ env:
 matrix:
   fast_finish: true
   include:
-    - php: '7.3'
-      env: TARGET=docs
     - php: '7.3'
       env: TARGET=lint
     - php: '7.2'