Rollup of 8 pull requests#137571
Merged
Merged
Conversation
Loading
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
12 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Successful merges:
hash_extract_if#134655 (Stabilizehash_extract_if)core::str::from_utf8_mutasconst#136668 (Stabilizecore::str::from_utf8_mutasconst)String::from_raw_partssafety requirements #136775 (UpdateString::from_raw_partssafety requirements)read_buffor zkVM stdin #137349 (Implementread_buffor zkVM stdin)r? @ghost
@rustbot modify labels: rollup
Create a similar rollup