diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index f9e84ffeb..9a9afe092 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -30,6 +30,8 @@ jobs:
       with:
         path: _build
         key: ${{ runner.os }}-agdai-cache-${{ github.ref_name }}-${{ github.event.before }}
+        restore-keys: |
+          ${{ runner.os }}-agdai-cache-${{ github.ref_name }}-
 
     - name: Run Agda
       id: typecheck