From b58e508b857e8e4ac0c89bd03d03e48b88f02816 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Wed, 9 Aug 2023 13:35:00 +0000
Subject: [PATCH] Update all dependencies

| datasource     | package               | from   | to    |
| -------------- | --------------------- | ------ | ----- |
| github-runners | macos                 | 11     | 13    |
| maven          | org.sosy-lab:java-smt | 3.14.3 | 4.0.2 |
---
 .github/workflows/publish.yml      | 2 +-
 gradle/projects.libs.versions.toml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index eb647719..c375eea5 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -71,7 +71,7 @@ jobs:
   publish:
     needs: build
 
-    runs-on: macos-11
+    runs-on: macos-13
 
     steps:
     - uses: actions/checkout@v3
diff --git a/gradle/projects.libs.versions.toml b/gradle/projects.libs.versions.toml
index af18a90d..1aba04e7 100644
--- a/gradle/projects.libs.versions.toml
+++ b/gradle/projects.libs.versions.toml
@@ -8,7 +8,7 @@ junit = "5.9.2"
 junitLauncher = "1.9.2"
 kotlin = "1.8.21"
 kotest = "5.6.1"
-javaSmt = "3.14.3"
+javaSmt = "4.0.2"
 javaCompileTesting = "0.21.0"
 apacheCommonsText = "1.10.0"
 sarif4k = "0.3.0"