From 5f8a3f792a1eb413f7a36cea47fe96c2ce0cc2e1 Mon Sep 17 00:00:00 2001 From: The Miri Cronjob Bot Date: Sun, 17 May 2026 06:02:43 +0000 Subject: [PATCH] Prepare for merging from rust-lang/rust This updates the rust-version file to 281c97c3240a9abd984ca0c6a2cd7389115e80d5. --- 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 6e25d8deaf25..5e581cb38e5e 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c8c4c83d57d3b4cf72a7306cd77bb8b5c0f03434 +281c97c3240a9abd984ca0c6a2cd7389115e80d5