From a8ee1f0a4cbc887d5e697c344c0b47b465912347 Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Wed, 30 Apr 2025 19:01:11 -0700
Subject: [PATCH] upgrade actions/cache version from 2 to 4

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c022399..616e04c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -31,7 +31,7 @@ jobs:
         with-documentation: false
 
     - name: Setup ccache cache
-      uses: actions/cache@v2
+      uses: actions/cache@v4
       with:
         path: ccache-dir
         key: cvc5-pythonic-api-ccache-${{ github.sha }}
@@ -47,7 +47,7 @@ jobs:
         ccache -z
 
     - name: Setup dependencies cache
-      uses: actions/cache@v2
+      uses: actions/cache@v4
       with:
         path: cvc5/build/deps
         key: cvc5-pythonic-api-deps-${{ hashFiles('cvc5/cmake/**') }}-${{ hashFiles('.github/**') }}