diff --git a/.github/workflows/python_ci.yaml b/.github/workflows/python_ci.yaml index 6f4f533db..1ec71fa55 100644 --- a/.github/workflows/python_ci.yaml +++ b/.github/workflows/python_ci.yaml @@ -72,6 +72,13 @@ jobs: run: | mypy lib + # Re-run mypy with --platform=win32 so typeshed evaluates platform-gated + # stubs (e.g. fcntl) as if we were on Windows. Catches imports that + # would only fail at runtime on Windows. + - name: MyPy (Windows platform) + run: | + mypy --platform=win32 lib + - name: Pyright run: | pyright lib