Chore: Configure pyrefly as an alternative typing tool (#12003)

This commit is contained in:
Trenton H
2026-02-07 10:33:00 -08:00
committed by GitHub
parent 1d89ec402b
commit 5c3d02e6d4
7 changed files with 17397 additions and 5 deletions

View File

@@ -128,6 +128,11 @@ jobs:
- name: List installed Python dependencies
run: |
uv pip list
- name: Check typing (pyrefly)
run: |
uv run pyrefly \
check \
src/
- name: Cache Mypy
uses: actions/cache@v5.0.3
with:
@@ -137,7 +142,7 @@ jobs:
restore-keys: |
${{ runner.os }}-mypy-py${{ env.DEFAULT_PYTHON }}-
${{ runner.os }}-mypy-
- name: Check typing
- name: Check typing (mypy)
run: |
uv run mypy \
--show-error-codes \