mypy
CI: skip `mypy_primer` for more directories
#13415
Merged

CI: skip `mypy_primer` for more directories #13415

97littleleaf11 merged 1 commit into python:master from AlexWaygood:primer
AlexWaygood
AlexWaygood CI: skip `mypy_primer` for more directories
041ccfb2
AlexWaygood AlexWaygood requested a review from sobolevn sobolevn 3 years ago
emmatyping
emmatyping approved these changes on 2022-08-14
github-actions
97littleleaf11 97littleleaf11 merged 12860a93 into master 3 years ago
AlexWaygood AlexWaygood deleted the primer branch 3 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone