From 777b95f59753a40e90d9e2d73948e4caa6eac5ad Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Fri, 8 May 2026 11:09:12 -0700
Subject: [PATCH 1/9] m

---
 .github/workflows/ci_test_java.yml | 8 ++++++++
 .github/workflows/ci_test_net.yml  | 4 ++++
 2 files changed, 12 insertions(+)

diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml
index 844975db0b..d6bb018b97 100644
--- a/.github/workflows/ci_test_java.yml
+++ b/.github/workflows/ci_test_java.yml
@@ -99,6 +99,10 @@ jobs:
           distribution: "corretto"
           java-version: ${{ matrix.java-version }}
 
+      - name: Check AWS Credentials before build
+        shell: bash
+        run: aws sts get-caller-identity
+
       - name: Build ${{ matrix.library }} implementation
         shell: bash
         working-directory: ./${{ matrix.library }}
@@ -107,6 +111,10 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make build_java CORES=$CORES
 
+      - name: Check AWS Credentials before test
+        shell: bash
+        run: aws sts get-caller-identity
+
       - name: Test ${{ matrix.library }}
         working-directory: ./${{ matrix.library }}
         run: |
diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml
index 786ad2b8ed..08eb7c5b0a 100644
--- a/.github/workflows/ci_test_net.yml
+++ b/.github/workflows/ci_test_net.yml
@@ -103,6 +103,10 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_net CORES=$CORES
 
+      - name: Check AWS Credentials before test
+        shell: bash
+        run: aws sts get-caller-identity
+
       - name: Test ${{ matrix.library }} net48
         if: matrix.os == 'windows-latest'
         working-directory: ./${{ matrix.library }}

From d5f1f9df16a2560a4b015aaa39b523efff24e7d8 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Fri, 8 May 2026 11:38:25 -0700
Subject: [PATCH 2/9] m

---
 .github/workflows/ci_examples_java.yml | 4 ++++
 .github/workflows/ci_examples_net.yml  | 5 +++++
 2 files changed, 9 insertions(+)

diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml
index 678d71c5a7..88e9f01082 100644
--- a/.github/workflows/ci_examples_java.yml
+++ b/.github/workflows/ci_examples_java.yml
@@ -98,6 +98,10 @@ jobs:
           diff-generated-code: false
           update-and-regenerate-mpl: true
 
+      - name: Check AWS Credentials before build
+        shell: bash
+        run: aws sts get-caller-identity
+
       - name: Build and locally deploy dependencies for examples
         shell: bash
         working-directory: ./DynamoDbEncryption
diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml
index 835b2b2492..631ab4b84e 100644
--- a/.github/workflows/ci_examples_net.yml
+++ b/.github/workflows/ci_examples_net.yml
@@ -101,6 +101,11 @@ jobs:
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_net CORES=$CORES
+      
+      - name: Check AWS Credentials before build
+        shell: bash
+        run: aws sts get-caller-identity
+        
       - name: Run Examples
         working-directory: ./Examples/runtimes/net
         shell: bash

From eba169b9ec41f716439df3e0b62140a3528db1f6 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Fri, 8 May 2026 11:38:46 -0700
Subject: [PATCH 3/9] empty commit


From e2df847326934728677ef9ae902214985d2a5f96 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Fri, 8 May 2026 11:38:52 -0700
Subject: [PATCH 4/9] empty commit


From 5945e7d3065420aecb983b36832a7ab2b9f6a873 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Fri, 8 May 2026 11:53:30 -0700
Subject: [PATCH 5/9] Revert "m"

This reverts commit d5f1f9df16a2560a4b015aaa39b523efff24e7d8.
---
 .github/workflows/ci_examples_java.yml | 4 ----
 .github/workflows/ci_examples_net.yml  | 5 -----
 2 files changed, 9 deletions(-)

diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml
index 88e9f01082..678d71c5a7 100644
--- a/.github/workflows/ci_examples_java.yml
+++ b/.github/workflows/ci_examples_java.yml
@@ -98,10 +98,6 @@ jobs:
           diff-generated-code: false
           update-and-regenerate-mpl: true
 
-      - name: Check AWS Credentials before build
-        shell: bash
-        run: aws sts get-caller-identity
-
       - name: Build and locally deploy dependencies for examples
         shell: bash
         working-directory: ./DynamoDbEncryption
diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml
index 631ab4b84e..835b2b2492 100644
--- a/.github/workflows/ci_examples_net.yml
+++ b/.github/workflows/ci_examples_net.yml
@@ -101,11 +101,6 @@ jobs:
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_net CORES=$CORES
-      
-      - name: Check AWS Credentials before build
-        shell: bash
-        run: aws sts get-caller-identity
-        
       - name: Run Examples
         working-directory: ./Examples/runtimes/net
         shell: bash

From 069222b46df926064787b63cfa17fc7adffe9643 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Fri, 8 May 2026 11:53:38 -0700
Subject: [PATCH 6/9] Revert "m"

This reverts commit 777b95f59753a40e90d9e2d73948e4caa6eac5ad.
---
 .github/workflows/ci_test_java.yml | 8 --------
 .github/workflows/ci_test_net.yml  | 4 ----
 2 files changed, 12 deletions(-)

diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml
index d6bb018b97..844975db0b 100644
--- a/.github/workflows/ci_test_java.yml
+++ b/.github/workflows/ci_test_java.yml
@@ -99,10 +99,6 @@ jobs:
           distribution: "corretto"
           java-version: ${{ matrix.java-version }}
 
-      - name: Check AWS Credentials before build
-        shell: bash
-        run: aws sts get-caller-identity
-
       - name: Build ${{ matrix.library }} implementation
         shell: bash
         working-directory: ./${{ matrix.library }}
@@ -111,10 +107,6 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make build_java CORES=$CORES
 
-      - name: Check AWS Credentials before test
-        shell: bash
-        run: aws sts get-caller-identity
-
       - name: Test ${{ matrix.library }}
         working-directory: ./${{ matrix.library }}
         run: |
diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml
index 08eb7c5b0a..786ad2b8ed 100644
--- a/.github/workflows/ci_test_net.yml
+++ b/.github/workflows/ci_test_net.yml
@@ -103,10 +103,6 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_net CORES=$CORES
 
-      - name: Check AWS Credentials before test
-        shell: bash
-        run: aws sts get-caller-identity
-
       - name: Test ${{ matrix.library }} net48
         if: matrix.os == 'windows-latest'
         working-directory: ./${{ matrix.library }}

From 9db0872d88e6d4d620fe6095fab45b7301913292 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Fri, 8 May 2026 11:59:16 -0700
Subject: [PATCH 7/9] m

---
 .github/workflows/ci_test_latest_released_mpl_java.yml | 1 +
 .github/workflows/ci_test_net.yml                      | 1 +
 .github/workflows/ci_test_vector_java.yml              | 1 +
 .github/workflows/ci_test_vector_net.yml               | 1 +
 .github/workflows/dafny_interop_examples_java.yml      | 1 +
 .github/workflows/dafny_interop_examples_net.yml       | 1 +
 .github/workflows/dafny_interop_java.yml               | 1 +
 .github/workflows/dafny_interop_test_net.yml           | 1 +
 .github/workflows/dafny_interop_test_vector_java.yml   | 1 +
 .github/workflows/dafny_interop_test_vector_net.yml    | 1 +
 .github/workflows/library_rust_tests.yml               | 2 ++
 .github/workflows/nightly.yml                          | 1 +
 .github/workflows/performance-benchmarks-go.yml        | 1 +
 .github/workflows/performance-benchmarks-rust.yml      | 1 +
 .github/workflows/sem_ver.yml                          | 1 +
 .github/workflows/semantic_release.yml                 | 1 +
 16 files changed, 17 insertions(+)

diff --git a/.github/workflows/ci_test_latest_released_mpl_java.yml b/.github/workflows/ci_test_latest_released_mpl_java.yml
index 398c3f136b..794f581416 100644
--- a/.github/workflows/ci_test_latest_released_mpl_java.yml
+++ b/.github/workflows/ci_test_latest_released_mpl_java.yml
@@ -81,6 +81,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - uses: actions/checkout@v6
         with:
diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml
index 786ad2b8ed..be36b51f52 100644
--- a/.github/workflows/ci_test_net.yml
+++ b/.github/workflows/ci_test_net.yml
@@ -94,6 +94,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Compile ${{ matrix.library }} implementation
         shell: bash
diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml
index c27fd67dea..d450def254 100644
--- a/.github/workflows/ci_test_vector_java.yml
+++ b/.github/workflows/ci_test_vector_java.yml
@@ -50,6 +50,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml
index 758726b724..df987c1cff 100644
--- a/.github/workflows/ci_test_vector_net.yml
+++ b/.github/workflows/ci_test_vector_net.yml
@@ -45,6 +45,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-DotNet-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
diff --git a/.github/workflows/dafny_interop_examples_java.yml b/.github/workflows/dafny_interop_examples_java.yml
index 398bbb50ff..2b2c417620 100644
--- a/.github/workflows/dafny_interop_examples_java.yml
+++ b/.github/workflows/dafny_interop_examples_java.yml
@@ -40,6 +40,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - uses: actions/checkout@v6
         with:
diff --git a/.github/workflows/dafny_interop_examples_net.yml b/.github/workflows/dafny_interop_examples_net.yml
index 55c0dccb42..0a82ad79fa 100644
--- a/.github/workflows/dafny_interop_examples_net.yml
+++ b/.github/workflows/dafny_interop_examples_net.yml
@@ -76,6 +76,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
diff --git a/.github/workflows/dafny_interop_java.yml b/.github/workflows/dafny_interop_java.yml
index 6563a9dc02..028de35cae 100644
--- a/.github/workflows/dafny_interop_java.yml
+++ b/.github/workflows/dafny_interop_java.yml
@@ -40,6 +40,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - uses: actions/checkout@v6
         with:
diff --git a/.github/workflows/dafny_interop_test_net.yml b/.github/workflows/dafny_interop_test_net.yml
index af454fc27f..d3dd102fdd 100644
--- a/.github/workflows/dafny_interop_test_net.yml
+++ b/.github/workflows/dafny_interop_test_net.yml
@@ -76,6 +76,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
diff --git a/.github/workflows/dafny_interop_test_vector_java.yml b/.github/workflows/dafny_interop_test_vector_java.yml
index 39911c1652..555a758215 100644
--- a/.github/workflows/dafny_interop_test_vector_java.yml
+++ b/.github/workflows/dafny_interop_test_vector_java.yml
@@ -49,6 +49,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - uses: actions/checkout@v6
         with:
diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
index f4d26104c1..57ced85139 100644
--- a/.github/workflows/dafny_interop_test_vector_net.yml
+++ b/.github/workflows/dafny_interop_test_vector_net.yml
@@ -74,6 +74,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
index f322cc4b06..cd3bfeec25 100644
--- a/.github/workflows/library_rust_tests.yml
+++ b/.github/workflows/library_rust_tests.yml
@@ -44,6 +44,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Rust-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
@@ -133,6 +134,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Rust-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Test ${{ matrix.library }} Rust Fips
         shell: bash
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index d0f14954bc..d319722379 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -122,6 +122,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2
           role-session-name: Dafny_Issue_Blocker
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       # Use AWS Secrets Manger GHA to retrieve CI Bot Creds
       - name: Get CI Bot Creds Secret
diff --git a/.github/workflows/performance-benchmarks-go.yml b/.github/workflows/performance-benchmarks-go.yml
index cdb4a303f4..24383721cf 100644
--- a/.github/workflows/performance-benchmarks-go.yml
+++ b/.github/workflows/performance-benchmarks-go.yml
@@ -43,6 +43,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Performance-Benchmarks-Go
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Support longpaths
         run: |
diff --git a/.github/workflows/performance-benchmarks-rust.yml b/.github/workflows/performance-benchmarks-rust.yml
index 88b79f9d76..1b0881ff79 100644
--- a/.github/workflows/performance-benchmarks-rust.yml
+++ b/.github/workflows/performance-benchmarks-rust.yml
@@ -46,6 +46,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Rust-Tests
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
diff --git a/.github/workflows/sem_ver.yml b/.github/workflows/sem_ver.yml
index f8ef612c65..639c6acc15 100644
--- a/.github/workflows/sem_ver.yml
+++ b/.github/workflows/sem_ver.yml
@@ -25,6 +25,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2
           role-session-name: CI_Bot_Release
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Upgrade Node
         uses: actions/setup-node@v6
diff --git a/.github/workflows/semantic_release.yml b/.github/workflows/semantic_release.yml
index dcdeaecaaa..6584b6c39d 100644
--- a/.github/workflows/semantic_release.yml
+++ b/.github/workflows/semantic_release.yml
@@ -34,6 +34,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2
           role-session-name: CI_Bot_Release
+          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
 
       - name: Upgrade Node
         uses: actions/setup-node@v6

From 5b8ee3f7622d6ec3d4871058e95659fbb1809710 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Fri, 8 May 2026 13:26:48 -0700
Subject: [PATCH 8/9] m

---
 .github/workflows/ci_examples_java.yml                 | 1 +
 .github/workflows/ci_examples_net.yml                  | 1 +
 .github/workflows/ci_test_go.yml                       | 1 +
 .github/workflows/ci_test_java.yml                     | 1 +
 .github/workflows/ci_test_latest_released_mpl_java.yml | 2 +-
 .github/workflows/ci_test_net.yml                      | 2 +-
 .github/workflows/ci_test_vector_java.yml              | 2 +-
 .github/workflows/ci_test_vector_net.yml               | 2 +-
 .github/workflows/dafny_interop_examples_java.yml      | 2 +-
 .github/workflows/dafny_interop_examples_net.yml       | 2 +-
 .github/workflows/dafny_interop_java.yml               | 2 +-
 .github/workflows/dafny_interop_test_net.yml           | 2 +-
 .github/workflows/dafny_interop_test_vector_java.yml   | 2 +-
 .github/workflows/dafny_interop_test_vector_net.yml    | 2 +-
 .github/workflows/library_rust_tests.yml               | 4 ++--
 .github/workflows/nightly.yml                          | 2 +-
 .github/workflows/performance-benchmarks-go.yml        | 2 +-
 .github/workflows/performance-benchmarks-rust.yml      | 2 +-
 .github/workflows/sem_ver.yml                          | 2 +-
 .github/workflows/semantic_release.yml                 | 2 +-
 20 files changed, 21 insertions(+), 17 deletions(-)

diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml
index 678d71c5a7..bb53ee59ea 100644
--- a/.github/workflows/ci_examples_java.yml
+++ b/.github/workflows/ci_examples_java.yml
@@ -45,6 +45,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       # Rust files have long names, so we need to enable long paths
       - name: Enable long paths
diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml
index 835b2b2492..8b2a6c4573 100644
--- a/.github/workflows/ci_examples_net.yml
+++ b/.github/workflows/ci_examples_net.yml
@@ -93,6 +93,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Compile ${{ matrix.library }} implementation
         shell: bash
diff --git a/.github/workflows/ci_test_go.yml b/.github/workflows/ci_test_go.yml
index 30a989f97b..88901546f5 100644
--- a/.github/workflows/ci_test_go.yml
+++ b/.github/workflows/ci_test_go.yml
@@ -42,6 +42,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml
index 844975db0b..ff725fa11d 100644
--- a/.github/workflows/ci_test_java.yml
+++ b/.github/workflows/ci_test_java.yml
@@ -46,6 +46,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       # Rust files have long names, so we need to enable long paths
       - name: Enable long paths
diff --git a/.github/workflows/ci_test_latest_released_mpl_java.yml b/.github/workflows/ci_test_latest_released_mpl_java.yml
index 794f581416..9374daaf87 100644
--- a/.github/workflows/ci_test_latest_released_mpl_java.yml
+++ b/.github/workflows/ci_test_latest_released_mpl_java.yml
@@ -81,7 +81,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - uses: actions/checkout@v6
         with:
diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml
index be36b51f52..02788b4426 100644
--- a/.github/workflows/ci_test_net.yml
+++ b/.github/workflows/ci_test_net.yml
@@ -94,7 +94,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Compile ${{ matrix.library }} implementation
         shell: bash
diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml
index d450def254..7ba9f62e9a 100644
--- a/.github/workflows/ci_test_vector_java.yml
+++ b/.github/workflows/ci_test_vector_java.yml
@@ -50,7 +50,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml
index df987c1cff..dc70638dc7 100644
--- a/.github/workflows/ci_test_vector_net.yml
+++ b/.github/workflows/ci_test_vector_net.yml
@@ -45,7 +45,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-DotNet-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
diff --git a/.github/workflows/dafny_interop_examples_java.yml b/.github/workflows/dafny_interop_examples_java.yml
index 2b2c417620..cad90b2a7d 100644
--- a/.github/workflows/dafny_interop_examples_java.yml
+++ b/.github/workflows/dafny_interop_examples_java.yml
@@ -40,7 +40,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - uses: actions/checkout@v6
         with:
diff --git a/.github/workflows/dafny_interop_examples_net.yml b/.github/workflows/dafny_interop_examples_net.yml
index 0a82ad79fa..c4474f7cbf 100644
--- a/.github/workflows/dafny_interop_examples_net.yml
+++ b/.github/workflows/dafny_interop_examples_net.yml
@@ -76,7 +76,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
diff --git a/.github/workflows/dafny_interop_java.yml b/.github/workflows/dafny_interop_java.yml
index 028de35cae..a1ecd63ed4 100644
--- a/.github/workflows/dafny_interop_java.yml
+++ b/.github/workflows/dafny_interop_java.yml
@@ -40,7 +40,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - uses: actions/checkout@v6
         with:
diff --git a/.github/workflows/dafny_interop_test_net.yml b/.github/workflows/dafny_interop_test_net.yml
index d3dd102fdd..d0eda35d28 100644
--- a/.github/workflows/dafny_interop_test_net.yml
+++ b/.github/workflows/dafny_interop_test_net.yml
@@ -76,7 +76,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
diff --git a/.github/workflows/dafny_interop_test_vector_java.yml b/.github/workflows/dafny_interop_test_vector_java.yml
index 555a758215..fda378e0b1 100644
--- a/.github/workflows/dafny_interop_test_vector_java.yml
+++ b/.github/workflows/dafny_interop_test_vector_java.yml
@@ -49,7 +49,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Java-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - uses: actions/checkout@v6
         with:
diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
index 57ced85139..1eff047376 100644
--- a/.github/workflows/dafny_interop_test_vector_net.yml
+++ b/.github/workflows/dafny_interop_test_vector_net.yml
@@ -74,7 +74,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Net-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
index cd3bfeec25..239c022917 100644
--- a/.github/workflows/library_rust_tests.yml
+++ b/.github/workflows/library_rust_tests.yml
@@ -44,7 +44,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Rust-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
@@ -134,7 +134,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Rust-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Test ${{ matrix.library }} Rust Fips
         shell: bash
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index d319722379..a8132bffdc 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -122,7 +122,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2
           role-session-name: Dafny_Issue_Blocker
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       # Use AWS Secrets Manger GHA to retrieve CI Bot Creds
       - name: Get CI Bot Creds Secret
diff --git a/.github/workflows/performance-benchmarks-go.yml b/.github/workflows/performance-benchmarks-go.yml
index 24383721cf..bb7c1191da 100644
--- a/.github/workflows/performance-benchmarks-go.yml
+++ b/.github/workflows/performance-benchmarks-go.yml
@@ -43,7 +43,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Performance-Benchmarks-Go
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Support longpaths
         run: |
diff --git a/.github/workflows/performance-benchmarks-rust.yml b/.github/workflows/performance-benchmarks-rust.yml
index 1b0881ff79..35f2a96139 100644
--- a/.github/workflows/performance-benchmarks-rust.yml
+++ b/.github/workflows/performance-benchmarks-rust.yml
@@ -46,7 +46,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
           role-session-name: DDBEC-Dafny-Rust-Tests
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Setup Docker
         if: matrix.os == 'macos-15-intel' && matrix.library == 'TestVectors'
diff --git a/.github/workflows/sem_ver.yml b/.github/workflows/sem_ver.yml
index 639c6acc15..78ba72c9e0 100644
--- a/.github/workflows/sem_ver.yml
+++ b/.github/workflows/sem_ver.yml
@@ -25,7 +25,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2
           role-session-name: CI_Bot_Release
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Upgrade Node
         uses: actions/setup-node@v6
diff --git a/.github/workflows/semantic_release.yml b/.github/workflows/semantic_release.yml
index 6584b6c39d..2bc417f1d2 100644
--- a/.github/workflows/semantic_release.yml
+++ b/.github/workflows/semantic_release.yml
@@ -34,7 +34,7 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2
           role-session-name: CI_Bot_Release
-          special-characters-workaround: 'true' # Some environments (example: windowsOS) cannot tolerate special characters in a secret key. 
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Upgrade Node
         uses: actions/setup-node@v6

From a2feb92ff9f9e095bb1fbcdbdb7f216e0e041f8e Mon Sep 17 00:00:00 2001
From: Rishav karanjit <karanjitrishav4@gmail.com>
Date: Mon, 11 May 2026 09:11:39 -0700
Subject: [PATCH 9/9] Update semantic_release.yml

---
 .github/workflows/semantic_release.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/semantic_release.yml b/.github/workflows/semantic_release.yml
index 2bc417f1d2..dcdeaecaaa 100644
--- a/.github/workflows/semantic_release.yml
+++ b/.github/workflows/semantic_release.yml
@@ -34,7 +34,6 @@ jobs:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2
           role-session-name: CI_Bot_Release
-          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Upgrade Node
         uses: actions/setup-node@v6