From a4d7c6669bb356eb40e6e7069b11dffbfc27f483 Mon Sep 17 00:00:00 2001 From: David Peter Date: Mon, 14 Apr 2025 13:44:29 +0200 Subject: [PATCH] [red-knot] mypy_primer: Fail job on panic or internal errors --- .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 4cd34bf478960..cb377d4396a30 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-v4" + uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v5" - name: Run mypy_primer shell: bash