diff --git a/.github/workflows/release-tests.yml b/.github/workflows/release-tests.yml
index ddd25550f2..06915058a8 100644
--- a/.github/workflows/release-tests.yml
+++ b/.github/workflows/release-tests.yml
@@ -31,7 +31,7 @@ jobs:
           cache: 'gradle'
 
       - name: Setup SMT solvers
-        uses: keyproject/setup-smt@v0
+        uses: keyproject/setup-smt@v3
         with:
           cvc5Version: ${{ env.cvc5 }}
           z3Version: ${{ env.z3 }}
@@ -90,7 +90,7 @@ jobs:
           cache: 'gradle'
 
       - name: Setup SMT solvers
-        uses: keyproject/setup-smt@v0
+        uses: keyproject/setup-smt@v3
         with:
           cvc5Version: ${{ env.cvc5 }}
           z3Version: ${{ env.z3 }}
@@ -136,7 +136,7 @@ jobs:
           cache: 'gradle'
 
       - name: Setup SMT solvers
-        uses: keyproject/setup-smt@v0.3.0
+        uses: keyproject/setup-smt@v3
         with:
           cvc5Version: ${{ matrix.cvc5 }}
           z3Version: ${{ matrix.z3 }}
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index a720ee4673..4af30b543b 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -38,7 +38,7 @@ jobs:
       - uses: actions/checkout@v6
 
       - name: Setup SMT solvers
-        uses: keyproject/setup-smt@v0
+        uses: keyproject/setup-smt@v3
         # with:
         #  z3Version: 4.13.0
 
@@ -95,7 +95,7 @@ jobs:
           cache: 'gradle'
 
       - name: Setup SMT solvers
-        uses: keyproject/setup-smt@v0
+        uses: keyproject/setup-smt@v3
 
       - name: Setup Gradle
         uses: gradle/actions/setup-gradle@v6