use nightly from 2025

runtimeverification · Jan 15, 2025 · 4ee3048 · 4ee3048
1 parent 0dc8247
commit 4ee3048
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -28,7 +28,7 @@ jobs:
       - name: "Set up nightly Rust" # https://github.com/rust-lang/rustup/issues/3409
         uses: dtolnay/rust-toolchain@master
         with:
-          toolchain: nightly-2024-08-28
+          toolchain: nightly-2025-01-01
 
       - name: 'Set up tree for rust dependency'
         run: make setup