m

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -27,7 +27,7 @@ jobs:
       id-token: write
       contents: read
     env:
-      RUST_MIN_STACK: 104857600
+      RUST_MIN_STACK: 204857600
     steps:
       - name: Support longpaths on Git checkout
         run: |
@@ -57,7 +57,7 @@ jobs:
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         with:
-          dafny-version: nightly-2024-12-03-4954170
+          dafny-version: ${{ inputs.dafny }}
 
       # 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.0
-dafnyVerifyVersion=4.9.0
-dafnyRuntimeJavaVersion=4.9.0
+dafnyVersion=4.9.1
+dafnyVerifyVersion=4.9.1
+dafnyRuntimeJavaVersion=4.9.1
 smithyDafnyJavaConversionVersion=0.1.1