Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Align the directories linted in CI with the defaults in scripts-dev/lint.sh ↵ | Andrew Morgan | 2021-01-21 | 1 | -0/+1 |
(#9191) The lists of source directories to lint between `tox.ini` and `lint.sh` became out of sync. This PR tightens them up and adds some comments reminding any future readers to keep the list in sync. |