We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e177ba8 commit a3c110aCopy full SHA for a3c110a
.github/workflows/library_rust_tests.yml
@@ -27,7 +27,7 @@ jobs:
27
id-token: write
28
contents: read
29
env:
30
- RUST_MIN_STACK: 104857600
+ RUST_MIN_STACK: 204857600
31
steps:
32
- name: Support longpaths on Git checkout
33
run: |
@@ -57,7 +57,7 @@ jobs:
57
- name: Setup Dafny
58
uses: dafny-lang/[email protected]
59
with:
60
- dafny-version: nightly-2024-12-03-4954170
+ dafny-version: ${{ inputs.dafny }}
61
62
# Remove this after the formatting in Rust starts working
63
- name: smithy-dafny Rust hacks
project.properties
@@ -1,6 +1,6 @@
1
projectJavaVersion=3.7.0-SNAPSHOT
2
mplDependencyJavaVersion=1.8.0-SNAPSHOT
3
-dafnyVersion=4.9.0
4
-dafnyVerifyVersion=4.9.0
5
-dafnyRuntimeJavaVersion=4.9.0
+dafnyVersion=4.9.1
+dafnyVerifyVersion=4.9.1
+dafnyRuntimeJavaVersion=4.9.1
6
smithyDafnyJavaConversionVersion=0.1.1
0 commit comments