Add mypy.

pymeasure · Jul 13, 2023 · 2efd187 · 2efd187
1 parent b301f65
commit 2efd187
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/pyleco_CI.yml b/.github/workflows/pyleco_CI.yml
@@ -27,6 +27,12 @@ jobs:
         uses: chartboost/ruff-action@v1
         with:
           args: --extend-select=E9,F63,F7,F82 --show-source
+      - name: Install mypy
+        run: pip install mypy
+      - name: Run mypy
+        uses: sasanquaneuf/mypy-github-action@releases/v1
+        with:
+          checkName: 'docs_lint'  # NOTE: this needs to be the same as the job name
       - uses: ammaraskar/sphinx-problem-matcher@master
       - name: Generate docs
         if: always()  # run even if the previous step failed