Remove lint from github workflow.

wschott · Oct 13, 2023 · 7f08311 · 7f08311
1 parent 360f3ed
commit 7f08311
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -23,9 +23,6 @@ jobs:
       run: |
         python -m pip install --upgrade pip
         python -m pip install -e ".[dev]"
-    - name: Lint
-      run: |
-        tox -e lint
     - name: Typecheck
       run: |
         tox -e typecheck

diff --git a/.gitignore b/.gitignore
@@ -7,4 +7,5 @@ dist/
 htmlcov/
 .tox/
 .pytest_cache/
+.ruff_cache/
 .mypy_cache/