From 6b5f59898b646722d4aaa678ca292513f398a95a Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Sat, 11 Nov 2023 01:42:49 +0000
Subject: [PATCH] Update all dependencies

| datasource     | package                              | from   | to    |
| -------------- | ------------------------------------ | ------ | ----- |
| github-tags    | actions/checkout                     | v3     | v4    |
| github-runners | macos                                | 11     | 13    |
| github-tags    | stefanzweifel/git-auto-commit-action | v4     | v5    |
| maven          | org.sosy-lab:java-smt                | 3.14.3 | 4.1.0 |
---
 .github/workflows/generate-alpha-tag.yaml | 4 ++--
 .github/workflows/generate-tag.yaml       | 4 ++--
 .github/workflows/publish.yml             | 8 ++++----
 .github/workflows/pull_request.yml        | 6 +++---
 gradle/projects.libs.versions.toml        | 2 +-
 5 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/generate-alpha-tag.yaml b/.github/workflows/generate-alpha-tag.yaml
index b33e1ec1..94ecb34e 100644
--- a/.github/workflows/generate-alpha-tag.yaml
+++ b/.github/workflows/generate-alpha-tag.yaml
@@ -14,7 +14,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
@@ -38,7 +38,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
           token: ${{ secrets.TOKEN_GITHUB_ACTION }}
diff --git a/.github/workflows/generate-tag.yaml b/.github/workflows/generate-tag.yaml
index 24f81b45..56af10e4 100644
--- a/.github/workflows/generate-tag.yaml
+++ b/.github/workflows/generate-tag.yaml
@@ -34,7 +34,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
@@ -58,7 +58,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
           token: ${{ secrets.TOKEN_GITHUB_ACTION }}
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index eb647719..d4f5bfef 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -29,7 +29,7 @@ jobs:
       analysis-version: ${{ steps.get-analysis-version.outputs.analysis-version }}
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
@@ -71,10 +71,10 @@ jobs:
   publish:
     needs: build
 
-    runs-on: macos-11
+    runs-on: macos-13
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
 
     - uses: actions/setup-java@v3
       with:
@@ -126,7 +126,7 @@ jobs:
       S3_BUCKET: ${{ secrets.S3_BUCKET }}
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - uses: actions/setup-java@v3
         with:
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index b929854c..3b69b4aa 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -15,7 +15,7 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
@@ -53,7 +53,7 @@ jobs:
     timeout-minutes: 20
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
@@ -66,7 +66,7 @@ jobs:
         run: ./gradlew --stop
 
       - name: "Commit new API files"
-        uses: stefanzweifel/git-auto-commit-action@v4
+        uses: stefanzweifel/git-auto-commit-action@v5
         with:
           commit_message: Update API files
           file_pattern: /**/api/*.api
diff --git a/gradle/projects.libs.versions.toml b/gradle/projects.libs.versions.toml
index af18a90d..738897d9 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.1.0"
 javaCompileTesting = "0.21.0"
 apacheCommonsText = "1.10.0"
 sarif4k = "0.3.0"