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