diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8d765505b..ca376676e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -75,14 +75,18 @@ jobs: with: python-version: 3.8 - - name: Check python code - run: | - pip install flake8 sphinx - python -m flake8 --count . + - name: Install build-only deps + run: pip install flake8 mypy sphinx + + - name: Run pyflakes + run: python -m flake8 --count . - name: Build kitty package run: python .github/workflows/ci.py package + - name: Run mypy + run: python test.py mypy + - name: Build man page run: make FAIL_WARN=-W man diff --git a/test.py b/test.py index 2b0364ae3..1e9d96a5a 100755 --- a/test.py +++ b/test.py @@ -72,7 +72,7 @@ def type_check() -> NoReturn: generate_stub() from kitty.options_stub import generate_stub # type: ignore generate_stub() - os.execlp('mypy', 'mypy', '--pretty') + os.execlp(sys.executable, 'python', '-m', 'mypy', '--pretty') def run_tests():