mypy
Run a type check on `scripts` and most of `misc` in CI
#13458
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
Run a type check on `scripts` and most of `misc` in CI
#13458
hauntsaninja
merged 1 commit into
python:master
from
AlexWaygood:misc-typecheck
Run a type check on `scripts` and most of `misc` in CI
049dfb8a
AlexWaygood
requested a review
from
hauntsaninja
3 years ago
hauntsaninja
approved these changes on 2022-08-20
hauntsaninja
merged
5f488e20
into master
3 years ago
AlexWaygood
deleted the misc-typecheck branch
3 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
hauntsaninja
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub