From 36394fb040b071f18a7117a0179e4d8b2de7ce6d Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 17 Apr 2026 22:35:21 +0000
Subject: [PATCH] Bump keyproject/setup-smt from 0 to 3 in the
 github-actions-deps group

Bumps the github-actions-deps group with 1 update: [keyproject/setup-smt](https://github.com/keyproject/setup-smt).


Updates `keyproject/setup-smt` from 0 to 3
- [Commits](https://github.com/keyproject/setup-smt/compare/v0...v3)

---
updated-dependencies:
- dependency-name: keyproject/setup-smt
  dependency-version: '3'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: github-actions-deps
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .github/workflows/release-tests.yml | 6 +++---
 .github/workflows/tests.yml         | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

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