Miri subtree update by RalfJung · Pull Request #142260 · rust-lang/rust (original) (raw)

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.

By clicking “Sign up for GitHub”, you agree to our terms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Conversation8 Commits30 Checks9 Files changed

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

[ Show hidden characters]({{ revealButtonHref }})

@RalfJung

@RalfJung

Make sure to sync on file-io.rs tokio test

@RalfJung

@nia-e

@RalfJung

@oli-obk

native-lib: allow multiple libraries and/or dirs

@RalfJung

@oli-obk

@RalfJung

@RalfJung

use File::lock to implement flock, and add a test for File::lock

@RalfJung

@RalfJung

@RalfJung

@RalfJung

TB: Add flag to disable the more precise interior mutability tracking

@rustbot

The Miri subtree was changed

cc @rust-lang/miri

@RalfJung

@rust-log-analyzer

This comment has been minimized.

@rustbot

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

@bors

📌 Commit eb420d1 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

Jun 9, 2025

workingjubilee added a commit to workingjubilee/rustc that referenced this pull request

Jun 10, 2025

@workingjubilee

Miri subtree update

r? @ghost

bors added a commit that referenced this pull request

Jun 10, 2025

@bors

Rollup of 13 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

@RalfJung

workingjubilee added a commit to workingjubilee/rustc that referenced this pull request

Jun 10, 2025

@workingjubilee

Miri subtree update

r? @ghost

bors added a commit that referenced this pull request

Jun 10, 2025

@bors

Rollup of 12 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

@bors

bors added a commit that referenced this pull request

Jun 10, 2025

@bors

Miri subtree update

r? @ghost

@RalfJung

@bors r- retry
I'll ge-do the sync to include some more changes.

@bors bors added S-waiting-on-author

Status: This is awaiting some action (such as code changes or more information) from the author.

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-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

S-waiting-on-author

Status: This is awaiting some action (such as code changes or more information) from the author.

labels

Jun 10, 2025

Labels

S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.