Remove lint

relatko · Oct 26, 2023 · f096ad8 · f096ad8
1 parent 6c818c3
commit f096ad8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 28 deletions.
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -1,9 +1,7 @@
 name: TypeCheck and tests
 
 on:
-  push:
-    paths:
-      - '*.py'
+  push: [push]
 
 jobs:
   mypy:
@@ -17,7 +15,9 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v1
       - name: Install mypy
-        run: pip install mypy
+        run: |
+          pip install mypy
       - name: Run all checks
-        run: make
+        run: |
+          make
 
diff --git a/.github/workflows/pylint.yml b/.github/workflows/pylint.yml