From b90741fb922c99c138e7fe15dbf0a8ef7219546d Mon Sep 17 00:00:00 2001 From: David Peter Date: Fri, 28 Mar 2025 14:05:17 +0100 Subject: [PATCH] [red-knot] Install mypy_primer from specific Git tag (#17035) ## Summary Instead of installing from a branch, install mypy_primer from a specific Git tag in order to make changes to the pipeline explicit. --- .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 56f4d37c9c..2431b7433d 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" + uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v1" - name: Run mypy_primer shell: bash