Python type-checking in large codebases: mypy vs pyright in CI?

We recently hit a wall with mypy in our CI pipeline — full repo scan takes 8+ minutes on a codebase of ~200k LOC. We're evaluating pyright as a faster alternative. Our setup: - Python 3.11, mixed strictness (some modules typed, others not) - GitHub Actions, 2-core runners - Need incremental type-checking to keep PR feedback under 2 minutes Has anyone migrated from mypy to pyright in anger? Specifically interested in: 1. False-positive deltas — did pyright catch things mypy missed or vice versa? 2. Incremental mode performance gains 3. Integration with pre-commit hooks without duplicating configuration Not looking for 'both are fine' — looking for war stories from production deployments.