Skip to content

Miri subtree update #144229

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
merged 36 commits into from
Jul 21, 2025
Merged

Miri subtree update #144229

merged 36 commits into from
Jul 21, 2025

Conversation

RalfJung
Copy link
Member

r? @ghost

RalfJung and others added 30 commits July 16, 2025 13:58
@RalfJung
triagebot welcome message for new users
6e3b9dd
@oli-obk
Merge pull request rust-lang#4471 from RalfJung/triagebot-welcome
4e8ce1e 
triagebot welcome message for new users
@RalfJung
triagebot: tweak welcome message
b390c41
@RalfJung
set S-waiting-on labels on new PRs
6728da5
Preparing for merge from rustc
5946616
Merge from rustc
52db0ce
@RalfJung
Merge pull request rust-lang#4473 from rust-lang/rustup-2025-07-17
0131e38 
Automatic Rustup
@nia-e
allow using different cargo binary
387b603
@RalfJung
tweak PR process description
1205c53
@RalfJung
Merge pull request rust-lang#4470 from nia-e/custom-cargo-bin
05df8aa 
allow using different cargo binary
@oli-obk
Merge pull request rust-lang#4472 from RalfJung/triagebot
e30baec 
triagebot: tweak welcome message
Preparing for merge from rustc
60f6ad8
Merge from rustc
3e3166f
@RalfJung
Merge pull request rust-lang#4474 from rust-lang/rustup-2025-07-18
8339590 
Automatic Rustup
@RalfJung
make native-lib support compile-time-optional, and centralize cfg usage
24ea3e2
@RalfJung
RA config: disable default features for faster build script build
cc6bc7a
@RalfJung
Merge pull request rust-lang#4475 from RalfJung/native-lib-optional
aef3d9e 
make native-lib support compile-time-optional, and centralize cfg usage
@RalfJung
move page protection logic inside native_lib
a438401 
and ensure we don't unwind out of the "weird state" during tracing
@RalfJung
Merge pull request rust-lang#4476 from RalfJung/page-prot
3799cbd 
move page protection logic inside native_lib
Preparing for merge from rustc
b8bcb4d
Merge from rustc
e11ea3d
@oli-obk
Merge pull request rust-lang#4478 from rust-lang/rustup-2025-07-19
eef454f 
Automatic Rustup
@RalfJung
add -Zmiri-no-extra-rounding-error to specifically disable just that …
4aa4376 
…part of float-nondet
@oli-obk
Merge pull request rust-lang#4480 from RalfJung/no-extra-rounding-error
1f15460 
add -Zmiri-no-extra-rounding-error to specifically disable just that part of float-nondet
@RalfJung
cargo update
c1242b7
@RalfJung
bump colored dep
bb79e79
@RalfJung
bump ipc-channel
4bd8088
@RalfJung
bump ui_test
0b8f558
@RalfJung
bump cargo-metadata
f32ec58
@RalfJung
ditch which dependency
6ce164d
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 20, 2025
@rustbot
Copy link
Collaborator

rustbot commented Jul 20, 2025

The Miri subtree was changed

cc @rust-lang/miri

These commits modify the Cargo.lock file. Unintentional changes to Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged.
Otherwise, you can ignore this comment.

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Collaborator

bors commented Jul 20, 2025

📌 Commit 7bf2dd6 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 Jul 20, 2025
@jhpratt jhpratt mentioned this pull request Jul 21, 2025
Merged
bors added a commit that referenced this pull request Jul 21, 2025
@bors
Auto merge of #144238 - jhpratt:rollup-xb8aida, r=jhpratt
79dd0d1 
Rollup of 8 pull requests

Successful merges:

 - #144144 (tests: Skip supported-crate-types test on musl hosts)
 - #144159 (opt-dist: change build_dir field to be an actual build dir)
 - #144162 (Debug impls for DropElaborators)
 - #144189 (Add non-regression test for #144168)
 - #144216 (Don't consider unstable fields always-inhabited)
 - #144229 (Miri subtree update)
 - #144230 (Option::as_slice: fix comment)
 - #144235 (Fix run-make tests on musl hosts)

r? `@ghost`
`@rustbot` modify labels: rollup
jieyouxu added a commit to jieyouxu/rust that referenced this pull request Jul 21, 2025
@jieyouxu
Rollup merge of rust-lang#144229 - RalfJung:miri-sync, r=RalfJung
44bf767 
Miri subtree update

r? ``@ghost``
@jieyouxu jieyouxu mentioned this pull request Jul 21, 2025
Closed
bors added a commit that referenced this pull request Jul 21, 2025
@bors
Auto merge of #144238 - jhpratt:rollup-xb8aida, r=jhpratt
6781992 
Rollup of 8 pull requests

Successful merges:

 - #144144 (tests: Skip supported-crate-types test on musl hosts)
 - #144159 (opt-dist: change build_dir field to be an actual build dir)
 - #144162 (Debug impls for DropElaborators)
 - #144189 (Add non-regression test for #144168)
 - #144216 (Don't consider unstable fields always-inhabited)
 - #144229 (Miri subtree update)
 - #144230 (Option::as_slice: fix comment)
 - #144235 (Fix run-make tests on musl hosts)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit b9701de into rust-lang:master Jul 21, 2025
11 checks passed
@rustbot rustbot added this to the 1.90.0 milestone Jul 21, 2025
rust-timer added a commit that referenced this pull request Jul 21, 2025
@rust-timer
Unrolled build for #144229
948d70a 
Rollup merge of #144229 - RalfJung:miri-sync, r=RalfJung

Miri subtree update

r? `@ghost`
Muscraft pushed a commit to Muscraft/rust that referenced this pull request Jul 21, 2025
@jhpratt @Muscraft
Rollup merge of rust-lang#144229 - RalfJung:miri-sync, r=RalfJung
47e414b 
Miri subtree update

r? `@ghost`
Muscraft pushed a commit to Muscraft/rust that referenced this pull request Jul 21, 2025
@bors @Muscraft
Auto merge of rust-lang#144238 - jhpratt:rollup-xb8aida, r=jhpratt
e55be83 
Rollup of 8 pull requests

Successful merges:

 - rust-lang#144144 (tests: Skip supported-crate-types test on musl hosts)
 - rust-lang#144159 (opt-dist: change build_dir field to be an actual build dir)
 - rust-lang#144162 (Debug impls for DropElaborators)
 - rust-lang#144189 (Add non-regression test for rust-lang#144168)
 - rust-lang#144216 (Don't consider unstable fields always-inhabited)
 - rust-lang#144229 (Miri subtree update)
 - rust-lang#144230 (Option::as_slice: fix comment)
 - rust-lang#144235 (Fix run-make tests on musl hosts)

r? `@ghost`
`@rustbot` modify labels: rollup
github-actions bot pushed a commit to rust-lang/miri that referenced this pull request Jul 22, 2025
@bors
Auto merge of #144238 - jhpratt:rollup-xb8aida, r=jhpratt
c537c15 
Rollup of 8 pull requests

Successful merges:

 - rust-lang/rust#144144 (tests: Skip supported-crate-types test on musl hosts)
 - rust-lang/rust#144159 (opt-dist: change build_dir field to be an actual build dir)
 - rust-lang/rust#144162 (Debug impls for DropElaborators)
 - rust-lang/rust#144189 (Add non-regression test for rust-lang/rust#144168)
 - rust-lang/rust#144216 (Don't consider unstable fields always-inhabited)
 - rust-lang/rust#144229 (Miri subtree update)
 - rust-lang/rust#144230 (Option::as_slice: fix comment)
 - rust-lang/rust#144235 (Fix run-make tests on musl hosts)

r? `@ghost`
`@rustbot` modify labels: rollup
@RalfJung RalfJung deleted the miri-sync branch July 23, 2025 06: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
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.90.0
Development

Successfully merging this pull request may close these issues.
5 participants
@RalfJung @rustbot @bors @oli-obk @nia-e