From 9a5a86769b35bca74e37187c7b30f97f6a0743a7 Mon Sep 17 00:00:00 2001 From: David Peter Date: Wed, 9 Apr 2025 09:43:22 +0200 Subject: [PATCH] [red-knot] mypy_primer: Run on `async-utils` (#17303) closes #17299 --- .github/workflows/mypy_primer.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/mypy_primer.yaml b/.github/workflows/mypy_primer.yaml index 4e2c0a500d..4cd34bf478 100644 --- a/.github/workflows/mypy_primer.yaml +++ b/.github/workflows/mypy_primer.yaml @@ -45,7 +45,7 @@ jobs: - name: Install mypy_primer run: | - uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v3" + uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v4" - name: Run mypy_primer shell: bash @@ -68,7 +68,7 @@ jobs: --type-checker knot \ --old base_commit \ --new "$GITHUB_SHA" \ - --project-selector '/(mypy_primer|black|pyp|git-revise|zipp|arrow|isort|itsdangerous|rich|packaging|pybind11|pyinstrument|typeshed-stats|scrapy|werkzeug|bidict)$' \ + --project-selector '/(mypy_primer|black|pyp|git-revise|zipp|arrow|isort|itsdangerous|rich|packaging|pybind11|pyinstrument|typeshed-stats|scrapy|werkzeug|bidict|async-utils)$' \ --output concise \ --debug > mypy_primer.diff || [ $? -eq 1 ]