From de4a4dd4743278cf91ea17fb651a73d7fccd0b12 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Fri, 1 May 2026 04:10:35 +0000
Subject: [PATCH] Update all dependencies
| datasource | package | from | to |
| -------------- | ----------------------------------------------------------------------------------- | ------------- | ------- |
| github-tags | actions/checkout | v3 | v6.0.2 |
| github-tags | actions/setup-java | v3 | v5.2.0 |
| github-tags | actions/upload-artifact | v3 | v7.0.1 |
| cdnjs | font-awesome/css/font-awesome.css | 4.7.0 | 7.0.1 |
| gradle-version | gradle | 8.1.1 | 9.5.0 |
| github-tags | gradle/gradle-build-action | v2 | v3.5.0 |
| github-runners | macos | 11 | 15 |
| github-tags | stefanzweifel/git-auto-commit-action | v4 | v7.1.0 |
| maven | com.google.devtools.ksp:symbol-processing | 1.8.21-1.0.11 | 2.3.7 |
| maven | com.google.devtools.ksp:symbol-processing-api | 1.8.21-1.0.11 | 2.3.7 |
| maven | org.sosy-lab:java-smt | 3.14.3 | 6.0.0 |
| maven | org.jetbrains.kotlin.multiplatform:org.jetbrains.kotlin.multiplatform.gradle.plugin | 1.8.21 | 2.3.21 |
| maven | org.jetbrains.kotlin.jvm:org.jetbrains.kotlin.jvm.gradle.plugin | 1.8.21 | 2.3.21 |
| maven | org.junit.platform:junit-platform-launcher | 1.9.2 | 6.0.3 |
| maven | org.junit.jupiter:junit-jupiter-engine | 5.9.2 | 6.0.3 |
| maven | org.junit.jupiter:junit-jupiter | 5.9.2 | 6.0.3 |
| maven | org.jetbrains.dokka:org.jetbrains.dokka.gradle.plugin | 1.8.10 | 2.2.0 |
| maven | io.arrow-kt:arrow-optics | 1.2.0-RC | 2.2.2.1 |
| maven | io.arrow-kt:arrow-core | 1.2.0-RC | 2.2.2.1 |
| maven | io.arrow-kt:arrow-annotations | 1.2.0-RC | 2.2.2.1 |
---
.github/workflows/generate-alpha-tag.yaml | 8 ++++----
.github/workflows/generate-tag.yaml | 8 ++++----
.github/workflows/publish.yml | 18 +++++++++---------
.github/workflows/pull_request.yml | 14 +++++++-------
docs/docs/_includes/_head-docs-analysis.html | 2 +-
gradle/projects.libs.versions.toml | 14 +++++++-------
gradle/wrapper/gradle-wrapper.properties | 2 +-
7 files changed, 33 insertions(+), 33 deletions(-)
diff --git a/.github/workflows/generate-alpha-tag.yaml b/.github/workflows/generate-alpha-tag.yaml
index b33e1ec1..bf53fede 100644
--- a/.github/workflows/generate-alpha-tag.yaml
+++ b/.github/workflows/generate-alpha-tag.yaml
@@ -14,12 +14,12 @@ jobs:
steps:
- name: Checkout
- uses: actions/checkout@v3
+ uses: actions/checkout@v6
with:
fetch-depth: 0
- name: Set up Java
- uses: actions/setup-java@v3
+ uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
@@ -38,13 +38,13 @@ jobs:
steps:
- name: Checkout
- uses: actions/checkout@v3
+ uses: actions/checkout@v6
with:
fetch-depth: 0
token: ${{ secrets.TOKEN_GITHUB_ACTION }}
- name: Set up Java
- uses: actions/setup-java@v3
+ uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
diff --git a/.github/workflows/generate-tag.yaml b/.github/workflows/generate-tag.yaml
index 24f81b45..d45d9980 100644
--- a/.github/workflows/generate-tag.yaml
+++ b/.github/workflows/generate-tag.yaml
@@ -34,12 +34,12 @@ jobs:
steps:
- name: Checkout
- uses: actions/checkout@v3
+ uses: actions/checkout@v6
with:
fetch-depth: 0
- name: Set up Java
- uses: actions/setup-java@v3
+ uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
@@ -58,13 +58,13 @@ jobs:
steps:
- name: Checkout
- uses: actions/checkout@v3
+ uses: actions/checkout@v6
with:
fetch-depth: 0
token: ${{ secrets.TOKEN_GITHUB_ACTION }}
- name: Set up Java
- uses: actions/setup-java@v3
+ uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index eb647719..69fa78da 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -29,17 +29,17 @@ jobs:
analysis-version: ${{ steps.get-analysis-version.outputs.analysis-version }}
steps:
- - uses: actions/checkout@v3
+ - uses: actions/checkout@v6
with:
fetch-depth: 0
- - uses: actions/setup-java@v3
+ - uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
- name: Build and test with Gradle
- uses: gradle/gradle-build-action@v2
+ uses: gradle/gradle-build-action@v3
with:
arguments: build --scan --stacktrace
@@ -50,7 +50,7 @@ jobs:
echo "::set-output name=analysis-version::$(head -n 1 build/semver/version.txt)"
- name: Upload reports
- uses: actions/upload-artifact@v3
+ uses: actions/upload-artifact@v7
with:
name: 'reports-${{ matrix.os }}'
path: '**/build/reports/**'
@@ -71,12 +71,12 @@ jobs:
publish:
needs: build
- runs-on: macos-11
+ runs-on: macos-15
steps:
- - uses: actions/checkout@v3
+ - uses: actions/checkout@v6
- - uses: actions/setup-java@v3
+ - uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
@@ -126,9 +126,9 @@ jobs:
S3_BUCKET: ${{ secrets.S3_BUCKET }}
steps:
- - uses: actions/checkout@v3
+ - uses: actions/checkout@v6
- - uses: actions/setup-java@v3
+ - uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index b929854c..c2591134 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -15,22 +15,22 @@ jobs:
fail-fast: false
steps:
- - uses: actions/checkout@v3
+ - uses: actions/checkout@v6
with:
fetch-depth: 0
- - uses: actions/setup-java@v3
+ - uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
- name: Build and test with Gradle
- uses: gradle/gradle-build-action@v2
+ uses: gradle/gradle-build-action@v3
with:
arguments: build --scan --stacktrace
- name: Upload reports
- uses: actions/upload-artifact@v3
+ uses: actions/upload-artifact@v7
with:
name: 'reports-${{ matrix.os }}'
path: '**/build/reports/**'
@@ -53,12 +53,12 @@ jobs:
timeout-minutes: 20
steps:
- - uses: actions/checkout@v3
+ - uses: actions/checkout@v6
with:
fetch-depth: 0
- name: Build
- uses: gradle/gradle-build-action@v2
+ uses: gradle/gradle-build-action@v3
with:
arguments: apiDump
@@ -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@v7
with:
commit_message: Update API files
file_pattern: /**/api/*.api
diff --git a/docs/docs/_includes/_head-docs-analysis.html b/docs/docs/_includes/_head-docs-analysis.html
index 7be7679e..c010e132 100644
--- a/docs/docs/_includes/_head-docs-analysis.html
+++ b/docs/docs/_includes/_head-docs-analysis.html
@@ -23,7 +23,7 @@
-
+
diff --git a/gradle/projects.libs.versions.toml b/gradle/projects.libs.versions.toml
index af18a90d..571e73cf 100644
--- a/gradle/projects.libs.versions.toml
+++ b/gradle/projects.libs.versions.toml
@@ -1,21 +1,21 @@
[versions]
-arrow = "1.2.0-RC"
+arrow = "2.2.2.1"
arrowMeta = "1.6.2"
arrowGradleConfig = "0.12.0-rc.3"
classgraph = "4.8.157"
-dokka = "1.8.10"
-junit = "5.9.2"
-junitLauncher = "1.9.2"
-kotlin = "1.8.21"
+dokka = "2.2.0"
+junit = "6.0.3"
+junitLauncher = "6.0.3"
+kotlin = "2.3.21"
kotest = "5.6.1"
-javaSmt = "3.14.3"
+javaSmt = "6.0.0"
javaCompileTesting = "0.21.0"
apacheCommonsText = "1.10.0"
sarif4k = "0.3.0"
kotlinBinaryCompatibilityValidator = "0.13.0"
detekt = "1.22.0"
kotlinxSerialization = "1.5.0"
-ksp = "1.8.21-1.0.11"
+ksp = "2.3.7"
[libraries]
arrowAnnotations = { module = "io.arrow-kt:arrow-annotations", version.ref = "arrow" }
diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties
index fae08049..efb903f9 100644
--- a/gradle/wrapper/gradle-wrapper.properties
+++ b/gradle/wrapper/gradle-wrapper.properties
@@ -1,5 +1,5 @@
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-8.1.1-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-9.5.0-bin.zip
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists