Add tox -e lint to GHA#2412
Draft
erik-whiting wants to merge 17 commits intomasterfrom
Draft
Commits
Commits on Jul 31, 2023
Commits on Aug 21, 2023
Commits on Jul 23, 2024
Commits on Jul 30, 2024
Commits on Aug 3, 2024
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}