Skip to content

Conversation

@neuschaefer
Copy link
Contributor

Update (some of) the dependencies of the miri-script crate. The main motivation is to get rid of the slightly outdated version 0.38.44 of rustix.

I don't know if such an update is a good approach; please let me know.

@rustbot
Copy link
Collaborator

rustbot commented Jul 20, 2025

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 20, 2025
@rustbot
Copy link
Collaborator

rustbot commented Jul 20, 2025

The Miri subtree was changed

cc @rust-lang/miri

@Gelbpunkt
Copy link
Contributor

Gelbpunkt commented Jul 20, 2025

This shouldn't be necessary with rust-lang/miri@12307bd and rust-lang/miri@e1d77bc, which should be included in the next miri subtree update

@neuschaefer
Copy link
Contributor Author

PR is obsolete

@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 20, 2025
@neuschaefer neuschaefer deleted the miri-script branch July 20, 2025 16:48
@RalfJung
Copy link
Member

Generally Miri-only updates should be sent to https://github.com/rust-lang/miri/ -- that you would also have noticed that watch is gone there :)

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants