diff --git a/.github/workflows/library_codegen.yml b/.github/workflows/library_codegen.yml
index 6f379dca3..2aa5aba51 100644
--- a/.github/workflows/library_codegen.yml
+++ b/.github/workflows/library_codegen.yml
@@ -55,7 +55,7 @@ jobs:
         run: echo '{"sdk":{"rollForward":"latestFeature","version":"6.0.0"}}' > ./global.json
 
       - name: Setup Java 17 for codegen
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: "17"
diff --git a/.github/workflows/library_interop_keyring_test_vectors.yml b/.github/workflows/library_interop_keyring_test_vectors.yml
index 3249433c6..b44d27b9d 100644
--- a/.github/workflows/library_interop_keyring_test_vectors.yml
+++ b/.github/workflows/library_interop_keyring_test_vectors.yml
@@ -157,7 +157,7 @@ jobs:
       # Setup Java 8
       - name: Setup Java 8
         if: matrix.language == 'java'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 17
@@ -165,7 +165,7 @@ jobs:
       # Setup Java in Rust is needed for running polymorph
       - name: Setup Java 17
         if: matrix.language == 'java' || matrix.language == 'rust'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 17
@@ -456,7 +456,7 @@ jobs:
       # Setup Java in Rust is needed for running polymorph
       - name: Setup Java 8
         if: matrix.decrypting_language == 'java'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 8
@@ -464,7 +464,7 @@ jobs:
       # Setup Java in Rust is needed for running polymorph
       - name: Setup Java 17
         if: matrix.decrypting_language == 'java' || matrix.decrypting_language == 'rust'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 17
diff --git a/.github/workflows/library_interop_mkp_test_vectors.yml b/.github/workflows/library_interop_mkp_test_vectors.yml
index 1d7ab3850..b8ca62817 100644
--- a/.github/workflows/library_interop_mkp_test_vectors.yml
+++ b/.github/workflows/library_interop_mkp_test_vectors.yml
@@ -82,7 +82,7 @@ jobs:
       # Setup Java in Rust is needed for running polymorph
       - name: Setup Java 17
         if: matrix.language == 'java_mkp' || matrix.language == 'java' || matrix.language == 'rust'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 17
@@ -273,7 +273,7 @@ jobs:
       # Setup Java in Rust is needed for running polymorph
       - name: Setup Java 17
         if: matrix.decrypting_language == 'java' || matrix.decrypting_language == 'java_mkp'|| matrix.decrypting_language == 'rust'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 17
@@ -711,7 +711,7 @@ jobs:
       # Setup Java in Rust is needed for running polymorph
       - name: Setup Java 17
         if: matrix.decrypting_language == 'java' || matrix.decrypting_language == 'java_mkp'|| matrix.decrypting_language == 'rust'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 17
diff --git a/.github/workflows/library_java_tests.yml b/.github/workflows/library_java_tests.yml
index 19ba2b4bd..1619b9efd 100644
--- a/.github/workflows/library_java_tests.yml
+++ b/.github/workflows/library_java_tests.yml
@@ -69,7 +69,7 @@ jobs:
           update-and-regenerate-mpl: true
 
       - name: Setup Java 8
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 8
@@ -88,7 +88,7 @@ jobs:
           make test_java
 
       - name: Setup Java 11
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 11
@@ -112,13 +112,13 @@ jobs:
           build-root-directory: ./${{ matrix.library }}/runtimes/java
 
       - name: Setup Java 8
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 8
 
       - name: Setup Java 17
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 17
diff --git a/.github/workflows/library_legacy_interop_test_vectors.yml b/.github/workflows/library_legacy_interop_test_vectors.yml
index e2536f49e..0f690c94e 100644
--- a/.github/workflows/library_legacy_interop_test_vectors.yml
+++ b/.github/workflows/library_legacy_interop_test_vectors.yml
@@ -64,14 +64,14 @@ jobs:
 
       - name: Setup Java 8
         if: matrix.language == 'java'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 8
 
       - name: Setup Java 17
         if: matrix.language == 'java'
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: 17
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
index 20a63c581..498d1ce02 100644
--- a/.github/workflows/library_rust_tests.yml
+++ b/.github/workflows/library_rust_tests.yml
@@ -60,7 +60,7 @@ jobs:
           dafny-version: 4.10.0
 
       - name: Setup Java 17 for codegen
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: "17"
@@ -162,7 +162,7 @@ jobs:
           dafny-version: 4.10.0
 
       - name: Setup Java 17 for codegen
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: "17"
diff --git a/.github/workflows/performance-benchmarks-java.yml b/.github/workflows/performance-benchmarks-java.yml
index 07f799122..029073804 100644
--- a/.github/workflows/performance-benchmarks-java.yml
+++ b/.github/workflows/performance-benchmarks-java.yml
@@ -42,7 +42,7 @@ jobs:
           special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Setup Java Corretto ${{matrix.java}}
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: ${{matrix.java}}
diff --git a/.github/workflows/performance-benchmarks-rust.yml b/.github/workflows/performance-benchmarks-rust.yml
index f510bda4a..58a2aba0d 100644
--- a/.github/workflows/performance-benchmarks-rust.yml
+++ b/.github/workflows/performance-benchmarks-rust.yml
@@ -60,7 +60,7 @@ jobs:
           dafny-version: 4.10.0
 
       - name: Setup Java 17 for codegen
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: "17"
diff --git a/.github/workflows/rust-start-release.yml b/.github/workflows/rust-start-release.yml
index 1492f01e7..3d3b6a143 100644
--- a/.github/workflows/rust-start-release.yml
+++ b/.github/workflows/rust-start-release.yml
@@ -76,7 +76,7 @@ jobs:
           dafny-version: 4.10.0
 
       - name: Setup Java 17 for codegen
-        uses: actions/setup-java@v5
+        uses: actions/setup-java@v6
         with:
           distribution: "corretto"
           java-version: "17"