Attempt to improve caching logic

martinescardo · Sep 22, 2024 · faa3eac · faa3eac
1 parent 1ea758a
commit faa3eac
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -19,15 +19,15 @@ jobs:
       shell: bash
       run: |
         echo "branch = ${{ github.ref_name }}"
-        echo "head_sha = ${{ github.sha }}"
+        echo "head_sha = ${{ github.ref }}"
         echo "head_prec_sha = ${{ github.event.before }}"
 
     - name: "Restore cached .agdai files"
       id: cache-agdai-restore
       uses: actions/cache/restore@v4
       with:
         path: _build
-        key: ${{ runner.os }}-agdai-cache
+        key: ${{ runner.os }}-agdai-cache-${{ github.ref_name }}-${{ github.event.before }}
 
     - name: Run Agda
       id: typecheck
@@ -42,7 +42,7 @@ jobs:
       uses: actions/cache/save@v4
       with:
         path: _build
-        key: ${{ steps.cache-agdai-restore.outputs.cache-primary-key }}
+        key: ${{ runner.os }}-agdai-cache-${{ github.ref_name }}-${{ github.ref }}
 
     - name: Upload HTML
       id: html-upload