From faa3eac63e3c4c85969f1b12666e6ae8edff02e8 Mon Sep 17 00:00:00 2001
From: Ayberk Tosun <ayberk.tosun@gmail.com>
Date: Sun, 22 Sep 2024 13:10:09 +0100
Subject: [PATCH] Attempt to improve caching logic

---
 .github/workflows/main.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 41aa45f0e..fdcebd03b 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -19,7 +19,7 @@ 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"
@@ -27,7 +27,7 @@ jobs:
       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