Merge pull request #501 from agda/dependabot/github_actions/actions/cache-5

Bump actions/cache from 4 to 5

Author: JacquesCarette

.github/workflows/ci-ubuntu.yml

@@ -74,7 +74,7 @@ jobs:
       # This caching step allows us to save a lot of building time by
       # saving the previous build.
       - name: Restore cache
-        uses: actions/cache/restore@v4
+        uses: actions/cache/restore@v5
         id: cache
         with:
           path: |
@@ -119,7 +119,7 @@ jobs:
       # This caching step allows us to save a lot of building time by
       # saving the previous build.
       - name: Save cache
-        uses: actions/cache/save@v4
+        uses: actions/cache/save@v5
         if: always()
         with:
           path: |