Skip to content

Commit 945153e

Browse files
committed
Toolchain nightly-2024-11-23
1 parent ba5fd04 commit 945153e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/verifast.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ jobs:
3232
tar xf verifast-24.12-linux.tar.gz
3333
3434
- name: Install the Rust toolchain used by VeriFast
35-
run: rustup toolchain install nightly-2024-11-24
35+
run: rustup toolchain install nightly-2024-11-23
3636

3737
- name: Run VeriFast Verification
3838
run: |

0 commit comments

Comments
 (0)