Skip to content

Miri subtree update #133311

New issue

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

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

Already on GitHub? # to your account

Merged
merged 43 commits into from
Nov 22, 2024
Merged

Miri subtree update #133311

merged 43 commits into from
Nov 22, 2024

Conversation

RalfJung
Copy link
Member

r? @ghost

RalfJung and others added 30 commits November 10, 2024 16:26
sync support: dont implicitly clone inside the general sync machinery
stacked borrows tests: add those that fail under TB
Renamed `this` to `ecx` in `extern_static`
use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 21, 2024
@rustbot
Copy link
Collaborator

rustbot commented Nov 21, 2024

The Miri subtree was changed

cc @rust-lang/miri

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Collaborator

bors commented Nov 21, 2024

📌 Commit 12ac750 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 Nov 21, 2024
bors added a commit to rust-lang-ci/rust that referenced this pull request Nov 22, 2024
Rollup of 8 pull requests

Successful merges:

 - rust-lang#133238 (re-export `is_loongarch_feature_detected`)
 - rust-lang#133288 (Support `each_ref` and `each_mut` in `[T; N]` in constant expressions.)
 - rust-lang#133311 (Miri subtree update)
 - rust-lang#133313 (Use arc4random of libc for RTEMS target)
 - rust-lang#133319 (Simplify `fulfill_implication`)
 - rust-lang#133323 (Bail in effects in old solver if self ty is ty var)
 - rust-lang#133330 (library: update comment around close())
 - rust-lang#133337 (Fix typo in `std::thread::Scope::spawn` documentation.)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 71440da into rust-lang:master Nov 22, 2024
6 checks passed
@rustbot rustbot added this to the 1.84.0 milestone Nov 22, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Nov 22, 2024
Rollup merge of rust-lang#133311 - RalfJung:miri-sync, r=RalfJung

Miri subtree update

r? `@ghost`
@RalfJung RalfJung deleted the miri-sync branch November 23, 2024 07:02
@cuviper cuviper modified the milestones: 1.84.0, 1.85.0 Dec 5, 2024
# for free to join this conversation on GitHub. Already have an account? # 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