Miri subtree update

[RalfJung]

r? @ghost

[rustbot]

The Miri subtree was changed

cc @rust-lang/miri

[RalfJung]

@bors r+ p=1

[bors]

📌 Commit 2ef639d has been approved by RalfJung

It is now in the queue for this repository.

[bors]

⌛ Testing commit 2ef639d with merge 9c8a269...

[bors]

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

[rust-timer]

Finished benchmarking commit (9c8a269): 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.

	mean	range	count
Regressions ❌ (primary)	0.9%	[0.5%, 1.5%]	4
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-0.7%	[-0.7%, -0.6%]	2
Improvements ✅ (secondary)	-2.6%	[-2.6%, -2.6%]	1
All ❌✅ (primary)	0.4%	[-0.7%, 1.5%]	6

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.

	mean	range	count
Regressions ❌ (primary)	0.6%	[0.6%, 0.6%]	2
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-0.5%	[-0.6%, -0.5%]	2
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	0.0%	[-0.6%, 0.6%]	4

Binary size

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

Bootstrap: 635.521s -> 635.113s (-0.06%)
Artifact size: 304.34 MiB -> 304.36 MiB (0.01%)