From df418d94b3d8a49103c227dcaff726e2507aee7f Mon Sep 17 00:00:00 2001 From: David Peter Date: Fri, 28 Mar 2025 14:17:47 +0100 Subject: [PATCH] [red-knot] mypy_primer: use debug builds of red_knot (#17036) ## Summary Use a debug build instead of a release build in order to speed up mypy_primer runs. ## Test Plan Previous mypy_primer run: 5m 45s mypy_primer run on this branch: 3m 49s --- .github/workflows/mypy_primer.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mypy_primer.yaml b/.github/workflows/mypy_primer.yaml index 2431b7433d..ef0be5e40f 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-v1" + uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v2" - name: Run mypy_primer shell: bash