pip install mypy

pvarki · May 30, 2023 · 79e2894 · 79e2894
1 parent d793a98
commit 79e2894
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,6 +7,7 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - uses: actions/setup-python@v3
+      - run: pip install mypy
       - uses: pre-commit/action@v3.0.0
       - name: List files in the repository
         run: ls ${{ github.workspace }}