diff --git a/.github/workflows/pyleco_CI.yml b/.github/workflows/pyleco_CI.yml index 74f99d13..3b6efdc3 100644 --- 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