update Miri

[RalfJung]

r? @ghost
Fixes #101067

[rustbot]

The Miri submodule was changed

cc @rust-lang/miri

[RalfJung]

tidy error: invalid license CC0-1.0 in abort_on_panic 2.0.0 (registry+https://github.com/rust-lang/crates.io-index)

Hm... supposedly CC0 waives copyright and thus should imply the MIT+Apache that we need?

[RalfJung]

License discussion continuing on Zulip; the short version is: it's complicated.

[RalfJung]

The dependency in question got removed from Miri.
@bors r= p=1

[bors]

📌 Commit f76eac4 has been approved by ``

It is now in the queue for this repository.

[RalfJung]

@bors r+ p=1

[bors]

📌 Commit f76eac4 has been approved by RalfJung

It is now in the queue for this repository.

[bors]

⌛ Testing commit f76eac4 with merge e4f0493...

[bors]

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

[rust-highfive]

📣 Toolstate changed by #101248!

Tested on commit e4f0493.
Direct link to PR: #101248

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

[rust-timer]

Finished benchmarking commit (e4f0493): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean1	range	count2
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	5.9%	[3.2%, 8.7%]	2
Improvements ✅ (primary)	-2.8%	[-2.8%, -2.8%]	1
Improvements ✅ (secondary)	-3.2%	[-4.3%, -2.0%]	2
All ❌✅ (primary)	-2.8%	[-2.8%, -2.8%]	1

Cycles

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean1	range	count2
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-2.3%	[-2.3%, -2.3%]	1
All ❌✅ (primary)	-	-	0

Footnotes

1. the arithmetic mean of the percent change ↩ ↩²

2. number of relevant changes ↩ ↩²