From 769b5229a9519b175240b113ef0c1e799801fb3c Mon Sep 17 00:00:00 2001
From: Jan Hensel <ja_he@uni-bremen.de>
Date: Wed, 6 Mar 2024 09:39:27 +0100
Subject: [PATCH] ci: try to update rust toolchain

---
 .github/workflows/gh-pages-deploy.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/gh-pages-deploy.yml b/.github/workflows/gh-pages-deploy.yml
index 0c1f4a4..8c72d75 100644
--- a/.github/workflows/gh-pages-deploy.yml
+++ b/.github/workflows/gh-pages-deploy.yml
@@ -32,10 +32,9 @@ jobs:
 
       # Install Rust Nightly Toolchain, with Clippy & Rustfmt
       - name: Install nightly Rust
-        uses: dtolnay/rust-toolchain@master
+        uses: dtolnay/rust-toolchain@nightly
         with:
           components: clippy, rustfmt
-          toolchain: nightly-2024-01-12
 
       - name: Add WASM target
         run: rustup target add wasm32-unknown-unknown