From 1f8ff9a3c404bf8e1a6dc766eda1fecb40f09c23 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Thu, 20 Nov 2025 09:56:34 -0800
Subject: [PATCH 1/3] m

---
 .github/workflows/ci_test_go.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci_test_go.yml b/.github/workflows/ci_test_go.yml
index f1489cf7b..b0e9e7846 100644
--- a/.github/workflows/ci_test_go.yml
+++ b/.github/workflows/ci_test_go.yml
@@ -144,5 +144,6 @@ jobs:
         if: matrix.library == 'DynamoDbEncryption'
         working-directory: ./Examples/runtimes/go
         run: |
+          go mod tidy
           go run main.go
           go test ./...

From 42a992ee412991ae99cca07c9b81a2510eee6042 Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Mon, 22 Dec 2025 23:28:04 -0800
Subject: [PATCH 2/3] m

---
 .github/workflows/non-prod.yml | 103 +++++++++++++++++++++++++++++++++
 1 file changed, 103 insertions(+)
 create mode 100644 .github/workflows/non-prod.yml

diff --git a/.github/workflows/non-prod.yml b/.github/workflows/non-prod.yml
new file mode 100644
index 000000000..488d8b466
--- /dev/null
+++ b/.github/workflows/non-prod.yml
@@ -0,0 +1,103 @@
+# This workflow runs for every pull request
+name: Non Prod Daily CI
+
+permissions:
+  id-token: write
+  contents: read
+on:
+  schedule:
+    - cron: "00 18 * * 1-5"
+  workflow_dispatch:
+  pull_request:
+    paths:
+      - '.github/workflows/non-prod.yml'
+      - '.github/workflows/ci_test_go.yml'
+
+jobs:
+  getVersion:
+    uses: ./.github/workflows/dafny_version.yml
+  getVerifyVersion:
+    uses: ./.github/workflows/dafny_verify_version.yml
+  pr-ci-format:
+    needs: getVersion
+    uses: ./.github/workflows/library_format.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-codegen:
+    needs: getVersion
+    uses: ./.github/workflows/ci_codegen.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-verification:
+    needs: getVerifyVersion
+    uses: ./.github/workflows/library_dafny_verification.yml
+    with:
+      dafny: ${{needs.getVerifyVersion.outputs.version}}
+  pr-ci-test-vector-verification:
+    needs: getVerifyVersion
+    uses: ./.github/workflows/test_vector_verification.yml
+    with:
+      dafny: ${{needs.getVerifyVersion.outputs.version}}
+  pr-ci-java:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_java.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-java-test-vectors:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_vector_java.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-java-examples:
+    needs: getVersion
+    uses: ./.github/workflows/ci_examples_java.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-net:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_net.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-rust:
+    needs: getVersion
+    uses: ./.github/workflows/library_rust_tests.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-go:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_go.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-net-test-vectors:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_vector_net.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-net-examples:
+    needs: getVersion
+    uses: ./.github/workflows/ci_examples_net.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  pr-ci-all-required:
+    if: always()
+    needs:
+      - getVersion
+      - getVerifyVersion
+      - pr-ci-format
+      - pr-ci-codegen
+      - pr-ci-verification
+      - pr-ci-test-vector-verification
+      - pr-ci-java
+      - pr-ci-java-test-vectors
+      - pr-ci-java-examples
+      - pr-ci-net
+      - pr-ci-rust
+      - pr-ci-go
+      - pr-ci-net-test-vectors
+      - pr-ci-net-examples
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Verify all required jobs passed
+        uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}

From 03cf7d36f4e107d9ac9bc129dbef42cdf19e9eef Mon Sep 17 00:00:00 2001
From: rishav-karanjit <rishavkj@amazon.com>
Date: Tue, 23 Dec 2025 09:43:11 -0800
Subject: [PATCH 3/3] m

---
 .github/workflows/non-prod.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/non-prod.yml b/.github/workflows/non-prod.yml
index 488d8b466..53ad38826 100644
--- a/.github/workflows/non-prod.yml
+++ b/.github/workflows/non-prod.yml
@@ -10,8 +10,8 @@ on:
   workflow_dispatch:
   pull_request:
     paths:
-      - '.github/workflows/non-prod.yml'
-      - '.github/workflows/ci_test_go.yml'
+      - ".github/workflows/non-prod.yml"
+      - ".github/workflows/ci_test_go.yml"
 
 jobs:
   getVersion: