Skip to content

miri subtree update#155197

Merged
rust-bors[bot] merged 33 commits intorust-lang:mainfrom
RalfJung:miri
Apr 12, 2026
Merged

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

Conversation

@RalfJung
Copy link
Copy Markdown
Member

The Miri Cronjob Bot and others added 30 commits April 5, 2026 05:29
This updates the rust-version file to c92036b.
float test: double error tolerance with imprecise ops on both sides
This updates the rust-version file to bcded33.
This updates the rust-version file to 30d0309.
fix the bitfield meanings of stacked_borrow item
This updates the rust-version file to 4c42051.
genmc tests: remove a hack that is no longer needed
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Apr 12, 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 Apr 12, 2026
@RalfJung
Copy link
Copy Markdown
Member Author

@bors r+

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors Bot commented Apr 12, 2026

📌 Commit edf04e1 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 Apr 12, 2026
rust-bors Bot pushed a commit that referenced this pull request Apr 12, 2026
…uwer

Rollup of 5 pull requests

Successful merges:

 - #155197 (miri subtree update)
 - #154804 (Fix ICE when reporting host-effect errors for const Fn HRTBs in next trait solver)
 - #155014 (Hexagon: add scalar arch-version target features (v60-v79, audio))
 - #155068 (Fix ICE in `span_extend_prev_while` with multibyte characters)
 - #155161 (Use Vec::push_mut when adding a chunk to arenas)
@rust-bors rust-bors Bot merged commit fa6fedc into rust-lang:main Apr 12, 2026
11 checks passed
@rustbot rustbot added this to the 1.97.0 milestone Apr 12, 2026
rust-timer added a commit that referenced this pull request Apr 12, 2026
Rollup merge of #155197 - RalfJung:miri, r=RalfJung

miri subtree update

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

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

r? @ghost
@RalfJung RalfJung deleted the miri branch April 14, 2026 15:37
github-actions Bot pushed a commit to rust-lang/miri that referenced this pull request Apr 19, 2026
…uwer

Rollup of 5 pull requests

Successful merges:

 - rust-lang/rust#155197 (miri subtree update)
 - rust-lang/rust#154804 (Fix ICE when reporting host-effect errors for const Fn HRTBs in next trait solver)
 - rust-lang/rust#155014 (Hexagon: add scalar arch-version target features (v60-v79, audio))
 - rust-lang/rust#155068 (Fix ICE in `span_extend_prev_while` with multibyte characters)
 - rust-lang/rust#155161 (Use Vec::push_mut when adding a chunk to arenas)
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.

4 participants