Add missing installing step of mypy

nightblure · Oct 27, 2024 · 8c9bf6a · 8c9bf6a
1 parent 5b21a29
commit 8c9bf6a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -34,6 +34,9 @@ jobs:
         with:
           python-version: "3.8"
 
+      - name: Install mypy
+        run: python -m pip install mypy==1.13.0
+
       - name: Execute mypy
         run: make mypy