update Miri

[RalfJung]

r? @ghost

[rustbot]

The Miri subtree was changed

cc @rust-lang/miri

[RalfJung]

@bors r+ p=1

[bors]

📌 Commit 873a7a3 has been approved by RalfJung

It is now in the queue for this repository.

[bors]

⌛ Testing commit 873a7a3 with merge b30b535...

[bors]

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

[rust-timer]

Finished benchmarking commit (b30b535): 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)	1.1%	[0.8%, 1.3%]	3
Regressions ❌ (secondary)	2.1%	[2.1%, 2.1%]	1
Improvements ✅ (primary)	-0.5%	[-0.5%, -0.5%]	2
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	0.5%	[-0.5%, 1.3%]	5

Cycles

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

Binary size

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

Bootstrap: 631.374s -> 631.748s (0.06%)
Artifact size: 316.55 MiB -> 316.58 MiB (0.01%)