update Miri

[RalfJung]

Fixes #81726
Cc @rust-lang/miri r? @ghost

[RalfJung]

@bors r+ p=1

[bors]

📌 Commit 0fe1e26 has been approved by RalfJung

[bors]

⌛ Testing commit 0fe1e26 with merge 2774c25d3fb4d38e67c176b2923c6ebbe366078f...

[rust-log-analyzer]

A job failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

 69  516M   69  356M    0     0  23.6M      0  0:00:21  0:00:15  0:00:06 23.0M
 73  516M   73  381M    0     0  23.7M      0  0:00:21  0:00:16  0:00:05 23.5M
 78  516M   78  405M    0     0  23.8M      0  0:00:21  0:00:17  0:00:04 24.3M
 81  516M   81  422M    0     0  23.8M      0  0:00:21  0:00:17  0:00:04 24.2M
curl: (56) OpenSSL SSL_read: Connection was reset, errno 10054

gzip: stdin: unexpected end of file
tar: Unexpected EOF in archive
tar: Unexpected EOF in archive
tar: Error is not recoverable: exiting now
##[error]Process completed with exit code 2.
[command]"C:\Program Files\Git\bin\git.exe" version
git version 2.30.0.windows.2
[command]"C:\Program Files\Git\bin\git.exe" config --local --name-only --get-regexp core\.sshCommand
[command]"C:\Program Files\Git\bin\git.exe" submodule foreach --recursive "git config --local --name-only --get-regexp 'core\.sshCommand' && git config --local --unset-all 'core.sshCommand' || :"

[bors]

💔 Test failed - checks-actions

[RalfJung]

curl: (56) OpenSSL SSL_read: Connection was reset, errno 10054

@bors retry

[bors]

⌛ Testing commit 0fe1e26 with merge 822ebfd...

[bors]

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 822ebfd to master...

[rust-highfive]

📣 Toolstate changed by #81743!

Tested on commit 822ebfd.
Direct link to PR: #81743

🎉 miri on windows: test-fail → test-pass (cc @oli-obk @eddyb @RalfJung).
🎉 miri on linux: test-fail → test-pass (cc @oli-obk @eddyb @RalfJung).