mypy
Run a type check on `scripts` and most of `misc` in CI
#13458
Merged

Run a type check on `scripts` and most of `misc` in CI #13458

AlexWaygood
AlexWaygood Run a type check on `scripts` and most of `misc` in CI
049dfb8a
AlexWaygood AlexWaygood requested a review from hauntsaninja hauntsaninja 3 years ago
github-actions
sobolevn
AlexWaygood
hauntsaninja
hauntsaninja approved these changes on 2022-08-20
hauntsaninja hauntsaninja merged 5f488e20 into master 3 years ago
AlexWaygood AlexWaygood deleted the misc-typecheck branch 3 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone