ruff
[red-knot] mypy_primer: larger depot runner
#17547

Merged

[red-knot] mypy_primer: larger depot runner #17547

sharkdp merged 1 commit into main from david/mypy_primer-larger-depot-runner

sharkdp added ci

sharkdp added ty

[red-knot] mypy_primer: larger depot runner

13885d48

sharkdp force pushed from 86cc3269 to 13885d48 309 days ago

sharkdp marked this pull request as ready for review 309 days ago

AlexWaygood approved these changes on 2025-04-22

sharkdp merged 4775719a into main 309 days ago

sharkdp deleted the david/mypy_primer-larger-depot-runner branch 309 days ago

Reviewers

AlexWaygood

Assignees

No one assigned

Labels

ci ty

Milestone

No milestone