From a3d848be47c49e841e5a5a88706970f646ce55d2 Mon Sep 17 00:00:00 2001 From: The Miri Cronjob Bot Date: Wed, 4 Feb 2026 05:13:19 +0000 Subject: [PATCH] Prepare for merging from rust-lang/rust This updates the rust-version file to 1d05e3c131d7181eb3df1a8c261f43135c99200d. --- src/tools/miri/rust-version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index d7d94190c98b..4aad364eb6f6 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -878374e07f3bf038c96e94e5bc917471878e4bf6 +1d05e3c131d7181eb3df1a8c261f43135c99200d