diff options
| author | Jon Dufresne <jon.dufresne@gmail.com> | 2020-12-21 08:40:37 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-21 11:40:37 -0500 |
| commit | 5ddab7cab47872fb3f470f8b4e8a65941638ac40 (patch) | |
| tree | 162b76c585549ae645cd3561c543ee69f00ba272 | |
| parent | 811ae79ceaae8ad9bbad24c30e2d3dd4d920e4df (diff) | |
| download | pyjwt-5ddab7cab47872fb3f470f8b4e8a65941638ac40.tar.gz | |
Drop lint environment from GitHub actions in favor of pre-commit.ci (#571)
The lint stage of CI is already handled by pre-commit.ci. With it, the
extra run in GitHub action is redundant and only consumes time and
resources unnecessarily.
pre-commit.ci is also faster to respond with results.
| -rw-r--r-- | tox.ini | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,7 +10,7 @@ filterwarnings = python = 3.6: py36 3.7: py37, docs - 3.8: py38, lint, typing + 3.8: py38, typing 3.9: py39 |