Closed lemonsaurus closed 3 years ago
We currently only lint in pull requests - we should do it on push, too.
We currently only lint in pull requests - we should do it on push, too.