Skip to content

[ty] Pin mypy_primer in setup_primer_project.py#24020

Merged
sharkdp merged 1 commit intomainfrom
david/pin-mypy_primer
Mar 17, 2026
Merged

[ty] Pin mypy_primer in setup_primer_project.py#24020
sharkdp merged 1 commit intomainfrom
david/pin-mypy_primer

Commits

Commits on Mar 17, 2026