Skip to content
Python Type Checking

Remove "docs" as it is now located in the "docs" branch #130

Sign in to view logs

Remove "docs" as it is now located in the "docs" branch

Remove "docs" as it is now located in the "docs" branch #130

Workflow file for this run

.github/workflows/type_checking.yml at d21b00d
name: Python Type Checking
on:
pull_request:
types:
- opened
- reopened
- synchronize
jobs:
type-check:
runs-on: ubuntu-latest
strategy:
matrix:
python-version: [ "3.10" ]
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: ${{ matrix.python-version }}
- name: Install mypy
run: |
python -m pip install --upgrade pip
python -m pip install mypy
- name: Type check with mypy
working-directory: $GITHUB_WORKSPACE/main
run: |
mypy --strict --ignore-missing-imports .