pytorch
6cbe9d1f - [ci] delete old linter stuff

Commit
2 years ago
[ci] delete old linter stuff lintrunner has been running for a while, so delete redundant linter things Pull Request resolved: https://github.com/pytorch/pytorch/pull/76984 Approved by: https://github.com/janeyx99
Author
suo suo
Committer
Parents
Loading