m

ajewellamz · ajewellamz · commit d765f0017fb9 · 2025-01-10T13:12:54.000-05:00
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -57,7 +57,7 @@ jobs:
       - name: Setup Dafny
         uses: dafny-lang/setup-dafny-action@v1.7.0
         with:
-          dafny-version: ${{ inputs.dafny }}
+          dafny-version: nightly-2024-12-03-4954170
 
       # Remove this after the formatting in Rust starts working
       - name: smithy-dafny Rust hacks
diff --git a/project.properties b/project.properties
@@ -1,6 +1,6 @@
 projectJavaVersion=3.7.0-SNAPSHOT
 mplDependencyJavaVersion=1.8.0-SNAPSHOT
-dafnyVersion=4.9.1
-dafnyVerifyVersion=4.9.1
-dafnyRuntimeJavaVersion=4.9.1
+dafnyVersion=4.9.0
+dafnyVerifyVersion=4.9.0
+dafnyRuntimeJavaVersion=4.9.0
 smithyDafnyJavaConversionVersion=0.1.1
