[WIP] Rollup of 5 pull requests #72083
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
`eprintln!` gets swallowed by Cargo too easily.
…kinnison,ollie27 Deprecated emoji Fixes rust-lang#67872. r? @kinnison cc @rust-lang/rustdoc
use min_specialization for some rustc crates where it requires no changes and add FIXME for the rest Cc @matthewjasper
Emit a warning when optimization fuel runs out `eprintln!` gets swallowed by Cargo too easily.
doc: minus (U+2212) instead of dash (U+002D) for negative infinity Like rust-lang#67430, for the new associated constants.
…an-DPC Improve E0571 wording r? @Dylan-DPC
|
@bors r+ rollup=never p=5 |
|
📌 Commit 41d1082 has been approved by |
|
⌛ Testing commit 41d1082 with merge 22cb94be73dfa0c4497fe65e8618008d54f26ad9... |
|
💔 Test failed - checks-actions |
|
@bors retry |
|
⌛ Testing commit 41d1082 with merge 224e988f8b697362d3ad39029dd28bb0afdf92e5... |
|
💔 Test failed - checks-actions |
|
@bors retry |
|
⌛ Testing commit 41d1082 with merge 9638df8f5d570e8f5e47c72936aa78b38fca50a6... |
|
💔 Test failed - checks-actions |
|
Let's see if this PR actually reproduces the GHA macOS failure all the time. @bors try |
|
⌛ Trying commit ad21667 with merge 649363339ad7acf3179c72f34bd3d5bf3c8d751c... |
|
☀️ Try build successful - checks-actions, checks-azure |
|
Ok, this PR does not reproduce #71988 consistently. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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:
Failed merges:
r? @ghost