From 399fa8618fa4edfa448b166573442062007513a5 Mon Sep 17 00:00:00 2001 From: Jeff Epler Date: Tue, 26 Aug 2025 21:47:40 -0500 Subject: [PATCH] actions: Check with 3 type checkers you will certainly not regret checking with 3 type checkers. --- .github/workflows/test.yml | 9 ++++++++- requirements-dev.txt | 2 ++ 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index f67dc51..988df30 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -55,10 +55,17 @@ jobs: python -mpip install wheel python -mpip install -r requirements-dev.txt - - name: Check stubs + - name: Check stubs with mypy if: (! startsWith(matrix.python-version, 'pypy-')) run: make mypy PYTHON=python + - name: Check stubs with pyrefly + if: (! startsWith(matrix.python-version, 'pypy-')) + run: make pyrefly PYTHON=python + + - name: Check stubs with pyright + if: (! startsWith(matrix.python-version, 'pypy-')) + run: make pyright PYTHON=python test: strategy: diff --git a/requirements-dev.txt b/requirements-dev.txt index e9d451c..21f32eb 100644 --- a/requirements-dev.txt +++ b/requirements-dev.txt @@ -7,6 +7,8 @@ build click coverage >= 7.10.3 mypy; implementation_name=="cpython" +pyright; implementation_name=="cpython" +pyrefly; implementation_name=="cpython" click>=8.1.5; implementation_name=="cpython" leapseconddata platformdirs