Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Nov 1, 2025

The Miri Cronjob Bot and others added 30 commits October 16, 2025 04:53
This updates the rust-version file to 402ce0e.
This updates the rust-version file to 96fe3c3.
native_call: we only support thin pointers as return type
This updates the rust-version file to 6244eff.
…cargo-toml

Avoid panicking when `Cargo.toml` is not present
This updates the rust-version file to 27050c0.
add miri magic function to configure allocation tracking at runtime
…e-func-calls

Support `f32`/`f64` in native function calls
This updates the rust-version file to 292be5c.
jhpratt added a commit to jhpratt/rust that referenced this pull request Nov 2, 2025
bors added a commit that referenced this pull request Nov 2, 2025
Rollup of 12 pull requests

Successful merges:

 - #147137 (Mention crate being analyzed in query description)
 - #147642 (Miscellaneous const-generics-related fixes)
 - #147806 (Ignore test-dashboard related files)
 - #147947 (Implement `strip_circumfix` lib feature)
 - #148194 (compiletest: Remove `cleanup_debug_info_options`)
 - #148199 (compiletest: Don't modify `testpaths` when creating aux contexts)
 - #148247 (Remove two special cases from reachable_non_generics)
 - #148348 (dangling ptr lint cleanup)
 - #148357 (temporary-lifetime-extension.rs test works in all editions)
 - #148362 (docs: makes a note about possible building  `rustc 1.91.0 + host tools` for win7)
 - #148367 (Use --print host-tuple to get the host)
 - #148374 (miri subtree update)

r? `@ghost`
`@rustbot` modify labels: rollup
Zalathar added a commit to Zalathar/rust that referenced this pull request Nov 2, 2025
@Zalathar
Copy link
Member

Zalathar commented Nov 2, 2025

Investigating rollup failure in #148376 (comment):

@bors try jobs=armhf-gnu

@rust-bors
Copy link

rust-bors bot commented Nov 2, 2025

⌛ Trying commit 63a18d4 with merge 8443c0a

To cancel the try build, run the command @bors try cancel.

Workflow: https://github.com/rust-lang/rust/actions/runs/19008799813

rust-bors bot added a commit that referenced this pull request Nov 2, 2025
miri subtree update

try-job: armhf-gnu
@Zalathar Zalathar closed this Nov 2, 2025
@Zalathar
Copy link
Member

Zalathar commented Nov 2, 2025

Failure found at #148247 (comment).

@bors try cancel

@rust-bors
Copy link

rust-bors bot commented Nov 2, 2025

@Zalathar
Copy link
Member

Zalathar commented Nov 2, 2025

Whoops, somehow I accidentally closed this.

@Zalathar Zalathar reopened this Nov 2, 2025
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 2, 2025
@Zalathar
Copy link
Member

Zalathar commented Nov 2, 2025

@bors r=RalfJung

@bors
Copy link
Collaborator

bors commented Nov 2, 2025

💡 This pull request was already approved, no need to approve it again.

@bors
Copy link
Collaborator

bors commented Nov 2, 2025

📌 Commit 63a18d4 has been approved by RalfJung

It is now in the queue for this repository.

@bors bors removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 2, 2025
@RalfJung
Copy link
Member Author

RalfJung commented Nov 2, 2025

@bors p=1

bors added a commit that referenced this pull request Nov 2, 2025
Rollup of 8 pull requests

Successful merges:

 - #148170 (split definition and use site hidden tys)
 - #148194 (compiletest: Remove `cleanup_debug_info_options`)
 - #148199 (compiletest: Don't modify `testpaths` when creating aux contexts)
 - #148290 (Do not emit solver errors that contain error types)
 - #148357 (temporary-lifetime-extension.rs test works in all editions)
 - #148362 (docs: makes a note about possible building  `rustc 1.91.0 + host tools` for win7)
 - #148367 (Use --print host-tuple to get the host)
 - #148374 (miri subtree update)

r? `@ghost`
`@rustbot` modify labels: rollup
@RalfJung
Copy link
Member Author

RalfJung commented Nov 2, 2025

@bors p=2

@bors bors merged commit 785c4ff into rust-lang:master Nov 2, 2025
22 of 23 checks passed
@rustbot rustbot added this to the 1.93.0 milestone Nov 2, 2025
rust-timer added a commit that referenced this pull request Nov 2, 2025
Rollup merge of #148374 - RalfJung:miri, r=RalfJung

miri subtree update

Subtree update of `miri` to rust-lang/miri@52c5daf.

Created using https://github.com/rust-lang/josh-sync.

r? `@ghost`
@bors
Copy link
Collaborator

bors commented Nov 2, 2025

⌛ Testing commit 63a18d4 with merge 6a884ad...

github-actions bot pushed a commit to rust-lang/miri that referenced this pull request Nov 3, 2025
Rollup of 8 pull requests

Successful merges:

 - rust-lang/rust#148170 (split definition and use site hidden tys)
 - rust-lang/rust#148194 (compiletest: Remove `cleanup_debug_info_options`)
 - rust-lang/rust#148199 (compiletest: Don't modify `testpaths` when creating aux contexts)
 - rust-lang/rust#148290 (Do not emit solver errors that contain error types)
 - rust-lang/rust#148357 (temporary-lifetime-extension.rs test works in all editions)
 - rust-lang/rust#148362 (docs: makes a note about possible building  `rustc 1.91.0 + host tools` for win7)
 - rust-lang/rust#148367 (Use --print host-tuple to get the host)
 - rust-lang/rust#148374 (miri subtree update)

r? `@ghost`
`@rustbot` modify labels: rollup
@RalfJung RalfJung deleted the miri branch November 4, 2025 07:10
github-actions bot pushed a commit to model-checking/verify-rust-std that referenced this pull request Nov 30, 2025
github-actions bot pushed a commit to model-checking/verify-rust-std that referenced this pull request Nov 30, 2025
…iaskrgr

Rollup of 8 pull requests

Successful merges:

 - rust-lang#148170 (split definition and use site hidden tys)
 - rust-lang#148194 (compiletest: Remove `cleanup_debug_info_options`)
 - rust-lang#148199 (compiletest: Don't modify `testpaths` when creating aux contexts)
 - rust-lang#148290 (Do not emit solver errors that contain error types)
 - rust-lang#148357 (temporary-lifetime-extension.rs test works in all editions)
 - rust-lang#148362 (docs: makes a note about possible building  `rustc 1.91.0 + host tools` for win7)
 - rust-lang#148367 (Use --print host-tuple to get the host)
 - rust-lang#148374 (miri subtree update)

r? `@ghost`
`@rustbot` modify labels: rollup
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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.

6 participants