diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ce54f98e7..e1be55bda 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -20,7 +20,7 @@ jobs:
       uses: actions/cache/restore@v4
       with:
         path: _build
-        key: ${{ runner.os }}-agdai-files
+        key: ${{ runner.os }}-agdai-cache
 
     - name: Run Agda
       id: typecheck