Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Feb 9, 2024

This is needed to fix build failures in https://github.com/rust-lang/miri-test-libstd/

@rustbot
Copy link
Collaborator

rustbot commented Feb 9, 2024

r? @Amanieu

rustbot has assigned @Amanieu.
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

Copy link
Contributor

@lu-zero lu-zero left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems fine

@lu-zero
Copy link
Contributor

lu-zero commented Feb 10, 2024

But looks like there is more broken?

@RalfJung
Copy link
Member Author

I don't know why CI fails that way -- I don't really understand the feature flag setup here.

#1523 seems related and makes all CI green, but I don't know if that will also help for miri-test-libstd.

@RalfJung
Copy link
Member Author

#1523 seems to also work for miri-test-libstd, so let's go with that one.

@RalfJung RalfJung closed this Feb 10, 2024
@RalfJung RalfJung deleted the std_detect branch February 10, 2024 09:22
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.

4 participants