diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2022-12-28 13:36:21 -0500 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-12-29 11:27:52 -0500 |
commit | 42508990e08865ba93e8a893d36061351e553a63 (patch) | |
tree | ca46b7989579d98d139900a09ef7576b877e6367 /.github | |
parent | 3823cc6d41956d0b8cfb55d6151673017a825c49 (diff) | |
download | python-coveragepy-git-42508990e08865ba93e8a893d36061351e553a63.tar.gz |
mypy: a separate tox env for mypy
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/quality.yml | 28 |
1 files changed, 25 insertions, 3 deletions
diff --git a/.github/workflows/quality.yml b/.github/workflows/quality.yml index 5483f7b8..0901d5ca 100644 --- a/.github/workflows/quality.yml +++ b/.github/workflows/quality.yml @@ -46,15 +46,37 @@ jobs: - name: "Install dependencies" run: | - set -xe - python -VV - python -m site python -m pip install --require-hashes -r requirements/tox.pip - name: "Tox lint" run: | python -m tox -e lint + mypy: + name: "Check types" + runs-on: ubuntu-latest + + steps: + - name: "Check out the repo" + uses: "actions/checkout@v3" + + - name: "Install Python" + uses: "actions/setup-python@v4" + with: + python-version: "3.8" # Minimum of PYVERSIONS, but at least 3.8 + cache: pip + cache-dependency-path: 'requirements/*.pip' + + - name: "Install dependencies" + run: | + # We run on 3.8, but the pins were made on 3.7, so don't insist on + # hashes, which won't match. + python -m pip install -r requirements/tox.pip + + - name: "Tox mypy" + run: | + python -m tox -e mypy + doc: name: "Build docs" runs-on: ubuntu-latest |