miri subtree update #145647
Open
miri subtree update #145647
+214
−51
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Co-authored-by: Ralf Jung <[email protected]>
Use GH app for authenticating pull PRs
rely on preinstalled rustup on windows-arm
This updates the rust-version file to adcb3d3.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: adcb3d3 Filtered ref: 5825740f16c56a1dac078765954330b987825b73 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
update rustup PR message
This updates the rust-version file to 07b7dc9.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 07b7dc9 Filtered ref: 3785af8cd0fe0eeb48a0f920ca3fae973cf842d7 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
This updates the rust-version file to 4c7749e.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 4c7749e Filtered ref: 9742b5940dcb4aea810f9ce020a92b3f72ed7bb4 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
This updates the rust-version file to 1553adf.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 1553adf Filtered ref: e5ee70aa5f36dacdc6df9490e867c45aa4e51c18 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
This updates the rust-version file to 3507a74.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 3507a74 Filtered ref: 67f9124a1e199effc310447c1c1f9548093bd8f9 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
Automatic Rustup
Add tracing to data race functions
…awesomeness triagebot: Show range-diff links on force pushes
link to TB doc in unsafe-code-guidelines
When a symbol only has a weak definition, this definition will be picked. When a symbol has both a weak and a regular definition, the regular definition will be picked instead.
Support weak definitions
This updates the rust-version file to f605b57.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: f605b57 Filtered ref: c69d2743ed4676c4529ebb60b258f6c1273c9145 This merge was created using https://github.com/rust-lang/josh-sync.
…-since Enable triagebot `[review-changes-since]` feature
Automatic Rustup
rustbot
added
the
S-waiting-on-review
|
The Miri subtree was changed cc @rust-lang/miri |
|
@bors r+ p=1 |
bors
added
S-waiting-on-bors
Zalathar
added a commit
to Zalathar/rust
that referenced
this pull request
Aug 20, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@980da67. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`
bors
added a commit
that referenced
this pull request
Aug 20, 2025
Rollup of 5 pull requests Successful merges: - #144915 (Defer tail call ret ty equality to check_tail_calls) - #145256 (Add new `--test-codegen-backend` bootstrap option) - #145415 (std_detect: RISC-V: implement implication to "C") - #145647 (miri subtree update) - #145650 (Fix JS search scripts path) r? `@ghost` `@rustbot` modify labels: rollup
bors
added a commit
that referenced
this pull request
Aug 20, 2025
Rollup of 12 pull requests Successful merges: - #143383 (stabilize `const_array_each_ref`) - #144443 (Make target pointer width in target json an integer) - #144758 ([Doc] Add links to the various collections) - #144915 (Defer tail call ret ty equality to check_tail_calls) - #145256 (Add new `--test-codegen-backend` bootstrap option) - #145415 (std_detect: RISC-V: implement implication to "C") - #145573 (Add an experimental unsafe(force_target_feature) attribute.) - #145642 (Do not use effective_visibilities query for Adt types of a local trait while proving a where-clause) - #145650 (Fix JS search scripts path) - #145654 (Download CI GCC into the correct directory) - #145662 (Enforce correct number of arguments for `"x86-interrupt"` functions) - #145674 (Enable triagebot `[review-changes-since]` feature) Failed merges: - #145647 (miri subtree update) r? `@ghost` `@rustbot` modify labels: rollup
|
That rollup failed, but since this PR seems to have a merge conflict with #145680, I won't reprioritize it. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Subtree update of
mirito rust-lang/miri@980da67.Created using https://github.com/rust-lang/josh-sync.
r? @ghost