Add pattern to the restore-keys field

martinescardo · Sep 22, 2024 · d1db0af · d1db0af
1 parent fcda607
commit d1db0af
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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