different syntax for pinned nightly toolchain

See dtolnay/rust-toolchain#76 (comment)
runtimeverification · Aug 29, 2024 · 529be01 · 529be01
1 parent 116585e
commit 529be01
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -89,7 +89,9 @@ jobs:
           submodules: recursive
 
       - name: "Set up nightly Rust" # https://github.com/rust-lang/rustup/issues/3409
-        uses: dtolnay/rust-toolchain@nightly-2024-08-28
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly-2024-08-28
 
       - name: 'Set up tree for rust dependency of smir_pretty'
         run: make smir-pretty-setup