We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6f729c3 commit 56e57f7Copy full SHA for 56e57f7
.github/workflows/library_rust_tests.yml
@@ -63,7 +63,7 @@ jobs:
63
role-session-name: DDBEC-Dafny-Rust-Tests
64
65
- name: Setup Rust Toolchain for GitHub CI
66
- uses: actions-rust-lang/setup-rust-toolchain@v1.10.1
+ uses: actions-rust-lang/setup-rust-toolchain@v1.11.0
67
with:
68
components: rustfmt
69
0 commit comments