diff --git a/.github/actions/setup_dafny/action.yml b/.github/actions/setup_dafny/action.yml
index c1130fed45..076ccfe0f3 100644
--- a/.github/actions/setup_dafny/action.yml
+++ b/.github/actions/setup_dafny/action.yml
@@ -25,6 +25,6 @@ runs:
         dotnet-version: "9.0.x"
 
     - name: Setup Dafny with setup-dafny action
-      uses: dafny-lang/setup-dafny-action@v1.8.0
+      uses: dafny-lang/setup-dafny-action@v1.9.1
       with:
         dafny-version: ${{ inputs.dafny-version }}
diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml
index 1dc9b02b5a..4dc11ab4f0 100644
--- a/.github/workflows/library_interop_tests.yml
+++ b/.github/workflows/library_interop_tests.yml
@@ -111,7 +111,7 @@ jobs:
         if: matrix.language == 'rust'
         uses: ./.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'
@@ -305,7 +305,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.11.0
 
       - name: Setup Dafny 2 Not Rust
         if: matrix.decrypting_language != 'rust'
diff --git a/project.properties b/project.properties
index 5d11f69e27..7b932b13b1 100644
--- a/project.properties
+++ b/project.properties
@@ -7,5 +7,5 @@
 # And the Dotnet projects include and parse this file.
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.1
-dafnyRustVersion=nightly-2025-01-30-7db1e5f
+dafnyRustVersion=4.11.0
 mplVersion=1.11.1-SNAPSHOT