chore(rust): use Dafny 4.10.0 for Rust codegen

Author: ajewellamz

.github/workflows/library_interop_keyring_test_vectors.yml

@@ -171,7 +171,7 @@ jobs:
         if: matrix.language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny Not Rust
         if: matrix.language != 'rust'
@@ -448,7 +448,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny Not Rust
         if: matrix.decrypting_language != 'rust'

.github/workflows/library_interop_mkp_test_vectors.yml

@@ -111,7 +111,7 @@ jobs:
         if: matrix.language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny Not Rust
         if: matrix.language != 'rust'
@@ -303,7 +303,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny Not Rust
         if: matrix.decrypting_language != 'rust'
@@ -727,7 +727,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny Not Rust
         if: matrix.decrypting_language != 'rust'

.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.10.0
 
       - name: Setup Java 17 for codegen
         uses: actions/setup-java@v3
@@ -148,7 +148,7 @@ jobs:
       - name: Setup Dafny
         uses: ./mpl/.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Java 17 for codegen
         uses: actions/setup-java@v3