[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.
This commit is contained in:
David Peter 2025-03-28 14:05:17 +01:00 committed by GitHub
parent 3acf4e716d
commit b90741fb92
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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