Skip to content

Miri subtree update#137594

Merged
bors merged 75 commits intorust-lang:masterfrom
RalfJung:miri-sync
Feb 26, 2025
Merged

Miri subtree update#137594
bors merged 75 commits intorust-lang:masterfrom
RalfJung:miri-sync

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Feb 25, 2025

r? @ghost

try-job: x86_64-gnu-aux

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-libs Relevant to the library team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.