Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit b50d3f4

Browse files
committedDec 4, 2024··
m
1 parent 57c4ec8 commit b50d3f4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎.github/workflows/library_rust_tests.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ jobs:
5555
# uses: actions-rust-lang/rustfmt@v1
5656

5757
- name: Setup Dafny
58-
uses: dafny-lang/setup-dafny-action@v1
58+
uses: dafny-lang/setup-dafny-action@v1.7.0
5959
with:
6060
dafny-version: nightly-2024-12-03-4954170
6161

0 commit comments

Comments
 (0)
Please sign in to comment.