delete portable-simd/rust-toolchain file

Author: RalfJung

ci-setup.sh

@@ -9,11 +9,11 @@ echo
 
 # And of course we need Rust
 if [[ "$GITHUB_EVENT_NAME" == 'schedule' ]]; then
-    RUST_TOOLCHAIN=nightly
+    RUSTUP_TOOLCHAIN=nightly
 else
-    RUST_TOOLCHAIN=$(cat rust-version)
+    RUSTUP_TOOLCHAIN=$(cat rust-version)
 fi
-echo "Installing Rust version: $RUST_TOOLCHAIN"
-rustup toolchain install "$RUST_TOOLCHAIN" --component miri
-rustup override set "$RUST_TOOLCHAIN"
+echo "Installing Rust version: $RUSTUP_TOOLCHAIN"
+rustup toolchain install "$RUSTUP_TOOLCHAIN" --component miri
+export RUSTUP_TOOLCHAIN # make rustup use this
 cargo miri setup

rust-version

@@ -1 +1 @@
-nightly-2025-02-01
+nightly-2025-02-11