Skip to content

miri subtree update#150483

Merged
bors merged 21 commits into
rust-lang:mainfrom
RalfJung:miri
Dec 29, 2025
Merged

miri subtree update#150483
bors merged 21 commits into
rust-lang:mainfrom
RalfJung:miri

Conversation

@RalfJung
Copy link
Copy Markdown
Member

The Miri Cronjob Bot and others added 21 commits December 23, 2025 04:59
This updates the rust-version file to a0c97e3.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: a0c97e3
Filtered ref: d15082d6c7b5d3d982908060f41a59a144a1493c
Upstream diff: rust-lang/rust@cb79c42...a0c97e3

This merge was created using https://github.com/rust-lang/josh-sync.
This updates the rust-version file to 8796b3b.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 8796b3b
Filtered ref: 642abedf8ad3d5b0e12c0d38ec35e365a34df07b
Upstream diff: rust-lang/rust@a0c97e3...8796b3b

This merge was created using https://github.com/rust-lang/josh-sync.
…tor-release-child-skipping

Tree Borrows: improve protector end access child skipping
This updates the rust-version file to 38ed770.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 38ed770
Filtered ref: 581f85c88ad421564634a8e45c53aed1f078099d
Upstream diff: rust-lang/rust@8796b3b...38ed770

This merge was created using https://github.com/rust-lang/josh-sync.
show a warning when combing native-lib mode and many-seeds
This updates the rust-version file to 23d01cd.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 23d01cd
Filtered ref: 8d207a46df39a5e19eeff773b2bed64e5ca8c44d
Upstream diff: rust-lang/rust@38ed770...23d01cd

This merge was created using https://github.com/rust-lang/josh-sync.
This updates the rust-version file to 7fefa09.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 7fefa09
Filtered ref: 22e92bfe253dbac1f2e9f2501509aa94af530cb1
Upstream diff: rust-lang/rust@23d01cd...7fefa09

This merge was created using https://github.com/rust-lang/josh-sync.
fix ICE for particular data race situations
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Dec 29, 2025

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 Dec 29, 2025
@RalfJung
Copy link
Copy Markdown
Member Author

@bors r+

@bors
Copy link
Copy Markdown
Collaborator

bors commented Dec 29, 2025

📌 Commit d1c8e93 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 Dec 29, 2025
bors added a commit that referenced this pull request Dec 29, 2025
…uwer

Rollup of 2 pull requests

Successful merges:

 - #150394 (Accommodate LLVM PassPlugin rename)
 - #150483 (miri subtree update)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 2c89d1c into rust-lang:main Dec 29, 2025
11 checks passed
@rustbot rustbot added this to the 1.94.0 milestone Dec 29, 2025
rust-timer added a commit that referenced this pull request Dec 29, 2025
Rollup merge of #150483 - RalfJung:miri, r=RalfJung

miri subtree update

Subtree update of `miri` to rust-lang/miri@70e2451.

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

r? `@ghost`
@RalfJung RalfJung deleted the miri branch January 1, 2026 11:33
github-actions Bot pushed a commit to rust-lang/miri that referenced this pull request Jan 3, 2026
…uwer

Rollup of 2 pull requests

Successful merges:

 - rust-lang/rust#150394 (Accommodate LLVM PassPlugin rename)
 - rust-lang/rust#150483 (miri subtree update)

r? `@ghost`
`@rustbot` modify labels: rollup
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants