delete portable-simd/rust-toolchain file

RalfJung · RalfJung · commit 96e0be7651f6 · 2025-02-11T21:58:48.000+01:00
diff --git a/ci-test.sh b/ci-test.sh
@@ -76,6 +76,7 @@ simd)
     export RUSTFLAGS="-Ainternal_features ${RUSTFLAGS:-}"
     export RUSTDOCFLAGS="-Ainternal_features ${RUSTDOCFLAGS:-}"
     cd $MIRI_LIB_SRC/portable-simd
+    rm -v rust-toolchain*
 
     echo "::group::Testing portable-simd"
     MIRIFLAGS="$DEFAULTFLAGS" \
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-nightly-2025-02-01
+nightly-2025-02-11
