bump mypy_primer pin (#20378)

Pulls in
06849fda40
This commit is contained in:
Alex Waygood 2025-09-14 19:16:35 +01:00 committed by GitHub
parent 1fa64a24b8
commit 9edbeb44dd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -20,7 +20,7 @@ cd ..
echo "Project selector: ${PRIMER_SELECTOR}" echo "Project selector: ${PRIMER_SELECTOR}"
# Allow the exit code to be 0 or 1, only fail for actual mypy_primer crashes/bugs # Allow the exit code to be 0 or 1, only fail for actual mypy_primer crashes/bugs
uvx \ uvx \
--from="git+https://github.com/hauntsaninja/mypy_primer@830b80cb00dc8ffee20a7ddcad8d6a13b09c18ed" \ --from="git+https://github.com/hauntsaninja/mypy_primer@06849fda409cbdc3233c8125a2cf9881bb9447a6" \
mypy_primer \ mypy_primer \
--repo ruff \ --repo ruff \
--type-checker ty \ --type-checker ty \