diff --git a/.github/workflows/code_quality.yml b/.github/workflows/code_quality.yml
index a544efa0209..b2c2b33d44a 100644
--- a/.github/workflows/code_quality.yml
+++ b/.github/workflows/code_quality.yml
@@ -20,7 +20,7 @@ jobs:
           distribution: 'corretto'
           cache: 'gradle'
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: Build with Gradle
         run: ./gradlew -DENABLE_NULLNESS=true compileTest
 
@@ -32,7 +32,7 @@ jobs:
         with:
           fetch-depth: 0
       - name: 'Qodana Scan'
-        uses: JetBrains/qodana-action@v2024.1.9
+        uses: JetBrains/qodana-action@v2024.2.3
 
       - uses: github/codeql-action/upload-sarif@v3
         if: success() || failure()
@@ -49,7 +49,7 @@ jobs:
           java-version: '21'
           cache: 'gradle'
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: SpotlessCheck
         run: ./gradlew --continue spotlessCheck
 
@@ -81,7 +81,7 @@ jobs:
           java-version: '21'
           cache: 'gradle'
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: Checkstyle
         run: ./gradlew --continue checkstyleMainChanged
       - run: |
@@ -108,7 +108,7 @@ jobs:
           java-version: '21'
           cache: 'gradle'
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: PMD checks
         run: ./gradlew --continue pmdMainChanged
 
diff --git a/.github/workflows/gradle-publish.yml b/.github/workflows/gradle-publish.yml
index 0e55e6d06bc..b541c403818 100644
--- a/.github/workflows/gradle-publish.yml
+++ b/.github/workflows/gradle-publish.yml
@@ -22,7 +22,7 @@ jobs:
         server-id: github # Value of the distributionManagement/repository/id field of the pom.xml
 
     - name: Setup Gradle
-      uses: gradle/actions/setup-gradle@v4.0.1
+      uses: gradle/actions/setup-gradle@v4.1.0
     - name: Assemble with Gradle
       run: ./gradlew assemble
 
diff --git a/.github/workflows/javadoc.yml b/.github/workflows/javadoc.yml
index de6f338d99a..7e8b4e1dc89 100644
--- a/.github/workflows/javadoc.yml
+++ b/.github/workflows/javadoc.yml
@@ -19,7 +19,7 @@ jobs:
           distribution: 'corretto'
           cache: 'gradle'
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: Build Documentation with Gradle
         run: ./gradlew alldoc
 
diff --git a/.github/workflows/nightlydeploy.yml b/.github/workflows/nightlydeploy.yml
index 2a90bd75f3e..2f28e9a8050 100644
--- a/.github/workflows/nightlydeploy.yml
+++ b/.github/workflows/nightlydeploy.yml
@@ -31,7 +31,7 @@ jobs:
           distribution: 'temurin'
 
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: Build with Gradle
         run: ./gradlew --parallel assemble
 
diff --git a/.github/workflows/opttest.yml b/.github/workflows/opttest.yml
index bfb8a2be814..7b81b938679 100644
--- a/.github/workflows/opttest.yml
+++ b/.github/workflows/opttest.yml
@@ -25,7 +25,7 @@ jobs:
           cache: 'gradle'
 
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: Test with Gradle
         run: ./gradlew --continue ${{ matrix.tests }}
 
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 4ee2c6ad557..cb9563601b8 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -38,7 +38,7 @@ jobs:
           cache: 'gradle'
 
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: Test with Gradle
         run: ./gradlew --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
 
@@ -87,7 +87,7 @@ jobs:
         shell: bash
 
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: "Running tests: ${{ matrix.test }}"
         run: ./gradlew --continue ${{ matrix.test }}
 
diff --git a/.github/workflows/tests_winmac.yml b/.github/workflows/tests_winmac.yml
index 2242add7460..c3c185ce95f 100644
--- a/.github/workflows/tests_winmac.yml
+++ b/.github/workflows/tests_winmac.yml
@@ -30,7 +30,7 @@ jobs:
 
       - name: Setup Gradle
         uses:
-          gradle/actions/setup-gradle@v4.0.1
+          gradle/actions/setup-gradle@v4.1.0
       - name: Test with Gradle
         run: ./gradlew --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
 
@@ -76,7 +76,7 @@ jobs:
         run: .github/dlsmt.sh
 
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4.0.1
+        uses: gradle/actions/setup-gradle@v4.1.0
       - name: "Running tests: ${{ matrix.test }}"
         run: ./gradlew --continue ${{ matrix.test }}