diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
index 578bf83bc..eb7c7da1e 100644
--- a/.github/workflows/stainless-CI.yml
+++ b/.github/workflows/stainless-CI.yml
@@ -20,7 +20,7 @@ jobs:
       with:
         submodules: recursive
     - name: Setup JDK
-      uses: actions/setup-java@v3
+      uses: actions/setup-java@v4
       with:
         distribution: temurin
         java-version: 17
diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml
index fb1cb0d69..67b8613d0 100644
--- a/.github/workflows/stainless-nightly.yml
+++ b/.github/workflows/stainless-nightly.yml
@@ -16,7 +16,7 @@ jobs:
       with:
         submodules: recursive
     - name: Setup JDK
-      uses: actions/setup-java@v3
+      uses: actions/setup-java@v4
       with:
         distribution: temurin
         java-version: 17