From b7cf2804fdecda7eb8d1458f462208f99665dbca Mon Sep 17 00:00:00 2001 From: Ohad Kammar Date: Mon, 19 May 2025 09:25:54 -0400 Subject: [PATCH] Attempt to fix deprecated cache action See: + https://github.com/actions/cache/discussions/1510 + https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down --- .github/workflows/ci-ubuntu.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index 724285d..71253ca 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -49,7 +49,7 @@ jobs: # This caching step allows us to save a lot of building time by only # self-hosting Idris2 from boostrap if absolutely necessary - name: Cache Idris2 - uses: actions/cache@v2 + uses: actions/cache@v4 id: cache-idris2 with: path: |