Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[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
This commit is contained in:
David Peter 2025-03-28 14:17:47 +01:00 committed by GitHub
parent b90741fb92
commit df418d94b3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/mypy_primer.yaml vendored
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-v1"
uv tool install "git+https://github.com/astral-sh/mypy_primer.git@add-red-knot-support-v2"
- name: Run mypy_primer
shell: bash