[eudsl][CI] save ccache (#41)

llvm · Jan 1, 2025 · aeb7b23 · aeb7b23
1 parent 6a9b0ef
commit aeb7b23
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/build_test_release_eudsl.yml b/.github/workflows/build_test_release_eudsl.yml
@@ -153,6 +153,13 @@ jobs:
           $python3_command -m cibuildwheel "$PWD/projects/eudsl-py" --output-dir wheelhouse
           ccache -s
 
+      - name: "Save cache"
+        uses: actions/cache/save@v3
+        if: ${{ !cancelled() && github.event_name == 'push' && github.ref_name == 'main' }}
+        with:
+          path: ${{ steps.setup_base.outputs.cache-dir }}
+          key: ${{ env.cache-key }}
+
       - name: Upload artifacts
         uses: actions/upload-artifact@v4
         with: