Skip to content

miri subtree update #150565

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
bors merged 7 commits into from
Jan 1, 2026
Merged

miri subtree update #150565

bors merged 7 commits into from
Jan 1, 2026

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Jan 1, 2026

Subtree update of miri to rust-lang/miri@cb3bfe8.

Created using https://github.com/rust-lang/josh-sync.

r? @ghost

@rustbot
Copy link
Collaborator

rustbot commented Jan 1, 2026

The Miri subtree was changed

cc @rust-lang/miri

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 1, 2026
@RalfJung
Copy link
Member Author

RalfJung commented Jan 1, 2026

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 1, 2026

📌 Commit facf7ad has been approved by RalfJung

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jan 1, 2026
@bors
Copy link
Collaborator

bors commented Jan 1, 2026

⌛ Testing commit facf7ad with merge fcd6309...

@bors
Copy link
Collaborator

bors commented Jan 1, 2026

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing fcd6309 to main...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jan 1, 2026
@bors bors merged commit fcd6309 into rust-lang:main Jan 1, 2026
12 checks passed
@rustbot rustbot added this to the 1.94.0 milestone Jan 1, 2026
@github-actions
Copy link
Contributor

github-actions bot commented Jan 1, 2026

What is this? This is an experimental post-merge analysis report that shows differences in test outcomes between the merged PR and its parent PR.

Comparing cc08b55 (parent) -> fcd6309 (this PR)

Test differences

Show 2 test diffs

2 doctest diffs were found. These are ignored, as they are noisy.

Test dashboard

Run

cargo run --manifest-path src/ci/citool/Cargo.toml -- \
    test-dashboard fcd630976c460c819c4bbcaf107d0c94501205d8 --output-dir test-dashboard

And then open test-dashboard/index.html in your browser to see an overview of all executed tests.

Job duration changes

  1. dist-apple-various: 3445.7s -> 4766.1s (+38.3%)
  2. dist-x86_64-apple: 7072.6s -> 8245.2s (+16.6%)
  3. aarch64-apple: 10365.9s -> 8798.8s (-15.1%)
  4. dist-x86_64-solaris: 6037.9s -> 5251.6s (-13.0%)
  5. dist-aarch64-apple: 6251.9s -> 7006.4s (+12.1%)
  6. dist-aarch64-llvm-mingw: 5691.8s -> 6306.9s (+10.8%)
  7. test-various: 6798.0s -> 7476.3s (+10.0%)
  8. x86_64-gnu-llvm-21-2: 4928.9s -> 5399.4s (+9.5%)
  9. dist-arm-linux-musl: 6015.1s -> 5456.8s (-9.3%)
  10. dist-aarch64-linux: 6094.8s -> 6650.6s (+9.1%)
How to interpret the job duration changes?

Job durations can vary a lot, based on the actual runner instance
that executed the job, system noise, invalidated caches, etc. The table above is provided
mostly for t-infra members, for simpler debugging of potential CI slow-downs.

This was referenced Jan 1, 2026
Open
Open
@rust-timer
Copy link
Collaborator

rust-timer commented Jan 1, 2026

Finished benchmarking commit (fcd6309): comparison URL.

Overall result: ❌ regressions - no action needed

@rustbot label: -perf-regression

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)		 - - 0
Regressions ❌
(secondary)		 0.5% [0.5%, 0.5%] 1
Improvements ✅
(primary)		 - - 0
Improvements ✅
(secondary)		 - - 0
All ❌✅ (primary) - - 0

Max RSS (memory usage)

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

Cycles

Results (primary 8.1%, secondary 16.2%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)		 10.6% [4.1%, 15.0%] 8
Regressions ❌
(secondary)		 17.8% [2.8%, 33.2%] 12
Improvements ✅
(primary)		 -2.0% [-2.4%, -1.5%] 2
Improvements ✅
(secondary)		 -4.0% [-4.0%, -4.0%] 1
All ❌✅ (primary) 8.1% [-2.4%, 15.0%] 10

Binary size

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

Bootstrap: 475.256s -> 475.254s (-0.00%)
Artifact size: 390.83 MiB -> 390.85 MiB (0.01%)

This was referenced Jan 1, 2026
Merged
Open
@RalfJung RalfJung deleted the miri branch January 4, 2026 11:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Milestone

1.94.0

Development

Successfully merging this pull request may close these issues.

4 participants

@RalfJung @rustbot @bors @rust-timer