This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)"
This reverts commit f380bb7.
- Loading branch information