Update cache key

martinescardo · Sep 21, 2024 · c376d13 · c376d13
1 parent 6fc5f07
commit c376d13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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