From 45db42df71d743008faa2ce57d5c82af507c5b7e Mon Sep 17 00:00:00 2001
From: Andy Jewell <ajewell@amazon.com>
Date: Tue, 2 Sep 2025 11:09:31 -0400
Subject: [PATCH] chore(rust): bump Dafny version for Rust to 4.11.0

---
 .github/workflows/library_interop_keyring_test_vectors.yml | 4 ++--
 .github/workflows/library_interop_mkp_test_vectors.yml     | 6 +++---
 .github/workflows/library_rust_tests.yml                   | 4 ++--
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/library_interop_keyring_test_vectors.yml b/.github/workflows/library_interop_keyring_test_vectors.yml
index a1590c10d..587839f4f 100644
--- a/.github/workflows/library_interop_keyring_test_vectors.yml
+++ b/.github/workflows/library_interop_keyring_test_vectors.yml
@@ -180,7 +180,7 @@ jobs:
         if: matrix.language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.11.0
 
       - name: Setup Dafny Not Rust
         if: matrix.language != 'rust'
@@ -466,7 +466,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.11.0
 
       - name: Setup Dafny Not Rust
         if: matrix.decrypting_language != 'rust'
diff --git a/.github/workflows/library_interop_mkp_test_vectors.yml b/.github/workflows/library_interop_mkp_test_vectors.yml
index 52e841d76..b8c2af65c 100644
--- a/.github/workflows/library_interop_mkp_test_vectors.yml
+++ b/.github/workflows/library_interop_mkp_test_vectors.yml
@@ -120,7 +120,7 @@ jobs:
         if: matrix.language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.11.0
 
       - name: Setup Dafny Not Rust
         if: matrix.language != 'rust'
@@ -321,7 +321,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.11.0
 
       - name: Setup Dafny Not Rust
         if: matrix.decrypting_language != 'rust'
@@ -754,7 +754,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.11.0
 
       - name: Setup Dafny Not Rust
         if: matrix.decrypting_language != 'rust'
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
index 93e914835..4ec059e98 100644
--- a/.github/workflows/library_rust_tests.yml
+++ b/.github/workflows/library_rust_tests.yml
@@ -56,7 +56,7 @@ jobs:
       - name: Setup Dafny
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.11.0
 
       - name: Setup Java 17 for codegen
         uses: actions/setup-java@v3
@@ -161,7 +161,7 @@ jobs:
       - name: Setup Dafny
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.11.0
 
       - name: Setup Java 17 for codegen
         uses: actions/setup-java@v3