Skip to content

miri subtree update#152700

Merged
rust-bors[bot] merged 66 commits intorust-lang:mainfrom
RalfJung:miri
Feb 17, 2026
Merged

miri subtree update#152700
rust-bors[bot] merged 66 commits intorust-lang:mainfrom
RalfJung:miri

Conversation

@RalfJung
Copy link
Member

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

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

r? @ghost

RalfJung and others added 30 commits January 18, 2026 15:52
This updates the rust-version file to 5a07626.
document guidelines for which shims have a place in Miri
This updates the rust-version file to 873d468.
This updates the rust-version file to e96bb7e.
This updates the rust-version file to 35a31ba.
This updates the rust-version file to 878374e.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 878374e
Filtered ref: a46a01d9de0d6a8cb834a0cc04b9156d61493c39
Upstream diff: rust-lang/rust@35a31ba...878374e

This merge was created using https://github.com/rust-lang/josh-sync.
and reset MIRIFLAGS as well just to be safe
`./miri run --dep`: do not run Miri during the dependency build
…eatures

chore: limit capstone to x86 and arm
@rustbot
Copy link
Collaborator

rustbot commented Feb 16, 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 Feb 16, 2026
@rust-log-analyzer

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

@RalfJung
Copy link
Member Author

@bors r+

@rust-bors
Copy link
Contributor

rust-bors bot commented Feb 16, 2026

📌 Commit 6a3a3d4 has been approved by RalfJung

It is now in the queue for this repository.

@rust-bors rust-bors bot 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 Feb 16, 2026
@RalfJung
Copy link
Member Author

RalfJung commented Feb 16, 2026 via email

@RalfJung
Copy link
Member Author

Lol github took many hours to process that email.^^

Since CI is green by now:
@bors p=1

JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Feb 16, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Feb 16, 2026
rust-bors bot pushed a commit that referenced this pull request Feb 16, 2026
…uwer

Rollup of 6 pull requests

Successful merges:

 - #152700 (miri subtree update)
 - #152715 (`rust-analyzer` subtree update)
 - #152609 (Install LLVM DLL in the right place on Windows)
 - #152206 (misc doc improvements)
 - #152664 (Fix mis-constructed `file_span` when generating scraped examples)
 - #152698 (Suppress unstable-trait notes under `-Zforce-unstable-if-unmarked`)
rust-bors bot pushed a commit that referenced this pull request Feb 16, 2026
…uwer

Rollup of 6 pull requests

Successful merges:

 - #152700 (miri subtree update)
 - #152715 (`rust-analyzer` subtree update)
 - #152609 (Install LLVM DLL in the right place on Windows)
 - #152206 (misc doc improvements)
 - #152664 (Fix mis-constructed `file_span` when generating scraped examples)
 - #152698 (Suppress unstable-trait notes under `-Zforce-unstable-if-unmarked`)
@rust-bors
Copy link
Contributor

rust-bors bot commented Feb 17, 2026

⌛ Testing commit 6a3a3d4 with merge 3851f53...

Workflow: https://github.com/rust-lang/rust/actions/runs/22083078319

rust-bors bot pushed a commit that referenced this pull request Feb 17, 2026
@Zalathar
Copy link
Member

@bors yield (to enclosing rollup)

@rust-bors
Copy link
Contributor

rust-bors bot commented Feb 17, 2026

Auto build cancelled. Cancelled workflows:

The next pull request likely to be tested is #152739.

rust-bors bot pushed a commit that referenced this pull request Feb 17, 2026
Rollup of 11 pull requests

Successful merges:

 - #152700 (miri subtree update)
 - #152715 (`rust-analyzer` subtree update)
 - #151783 (Implement RFC 3678: Final trait methods)
 - #152512 (core: Implement feature `float_exact_integer_constants`)
 - #152661 (Avoid ICE in From/TryFrom diagnostic under -Znext-solver)
 - #152703 (Remove `rustc_query_system`)
 - #152206 (misc doc improvements)
 - #152664 (Fix mis-constructed `file_span` when generating scraped examples)
 - #152698 (Suppress unstable-trait notes under `-Zforce-unstable-if-unmarked`)
 - #152727 (`probe_op` silence ambiguity errors if tainted)
 - #152728 (Port #![default_lib_allocator] to the new attribute parser)
@rust-bors rust-bors bot merged commit 476a630 into rust-lang:main Feb 17, 2026
11 of 12 checks passed
@rustbot rustbot added this to the 1.95.0 milestone Feb 17, 2026
rust-timer added a commit that referenced this pull request Feb 17, 2026
Rollup merge of #152700 - RalfJung:miri, r=RalfJung

miri subtree update

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

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

r? @ghost
@RalfJung RalfJung deleted the miri branch February 17, 2026 09:58
github-actions bot pushed a commit to rust-lang/miri that referenced this pull request Feb 18, 2026
Rollup of 11 pull requests

Successful merges:

 - rust-lang/rust#152700 (miri subtree update)
 - rust-lang/rust#152715 (`rust-analyzer` subtree update)
 - rust-lang/rust#151783 (Implement RFC 3678: Final trait methods)
 - rust-lang/rust#152512 (core: Implement feature `float_exact_integer_constants`)
 - rust-lang/rust#152661 (Avoid ICE in From/TryFrom diagnostic under -Znext-solver)
 - rust-lang/rust#152703 (Remove `rustc_query_system`)
 - rust-lang/rust#152206 (misc doc improvements)
 - rust-lang/rust#152664 (Fix mis-constructed `file_span` when generating scraped examples)
 - rust-lang/rust#152698 (Suppress unstable-trait notes under `-Zforce-unstable-if-unmarked`)
 - rust-lang/rust#152727 (`probe_op` silence ambiguity errors if tainted)
 - rust-lang/rust#152728 (Port #![default_lib_allocator] to the new attribute parser)
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.

10 participants

Comments