name: mypy | |
on: | |
- push | |
- pull_request | |
permissions: {} | |
jobs: | |
mypy: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
with: | |
persist-credentials: false | |
- name: Setup python | |
uses: actions/setup-python@v4 | |
with: | |
python-version: '3.8' | |
- name: Install dependencies | |
run: pip install -e .[types] | |
- name: Run mypy | |
run: mypy . |