Cache .mypy_cache directory in CI

aai-institute · Sep 18, 2023 · 9e0d96c · 9e0d96c
1 parent c2b43fb
commit 9e0d96c
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -38,6 +38,15 @@ jobs:
         pre-commit run --all --show-diff-on-failure
         python build_scripts/run_pylint.py | (pylint-json2html -f jsonextended -o pylint.html)
       shell: bash
+    - name: Generate mypy cache key
+      id: generate-mypy-cache-key
+      run: |
+        MYPY_VERSION=$(mypy --version | sed 's/[^0-9.]*\([0-9.]*\).*/\1/')
+        echo "key=mypy-${{ env.pythonLocation }}-$MYPY_VERSION" >> $GITHUB_OUTPUT
+    - uses: actions/cache@v3
+      with:
+        path: .mypy_cache
+        key: ${{ steps.generate-mypy-cache-key.outputs.key }}
     - name: Check Type Hints
       run: mypy src/
   docs: