m

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -57,7 +57,7 @@ jobs:
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         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

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