From d1db0afc5351e84dfec815a3f6de4a5c8ebe4630 Mon Sep 17 00:00:00 2001
From: Ayberk Tosun <ayberk.tosun@gmail.com>
Date: Sun, 22 Sep 2024 15:39:55 +0100
Subject: [PATCH] Add pattern to the `restore-keys` field

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

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