Update lint pipeline

jordipuig37 · Sep 10, 2024 · 8624a9b · 8624a9b
1 parent 42b9b8e
commit 8624a9b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -24,8 +24,11 @@ jobs:
       - name: Install dependencies
         run: pip install -r requirements.txt
 
+      - name: Install mypy stubs
+        run: mypy --install-types
+
       - name: Run mypy
         run: mypy .
 
       - name: Run flake8
-        run: flake8
+        run: flake8