Lint doc examples before building

Garulf · Jan 16, 2024 · d9d5b20 · d9d5b20
1 parent 5692726
commit d9d5b20
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -15,7 +15,10 @@ jobs:
     steps:
       - name: Checkout master
         uses: actions/checkout@v2
-
+      - name: Lint examples
+        run: |
+          pip install tox
+          tox -e lint
       - name: Deploy docs
         uses: mhausenblas/mkdocs-deploy-gh-pages@master
         env: