-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix toolstate history format #67432
Fix toolstate history format #67432
Conversation
We were inserting *before* the existing newline, so we should prepend it not append it to our inserted string.
Let's rubber-stamp & see if it fixes things. @bors r+ rollup |
📌 Commit 1787b2b has been approved by |
🌲 The tree is currently closed for pull requests below priority 100, this pull request will be tested once the tree is reopened |
…ntril Fix toolstate history format We were inserting *before* the existing newline, so we should prepend it not append it to our inserted string.
…ntril Fix toolstate history format We were inserting *before* the existing newline, so we should prepend it not append it to our inserted string.
…ntril Fix toolstate history format We were inserting *before* the existing newline, so we should prepend it not append it to our inserted string.
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
…ntril Fix toolstate history format We were inserting *before* the existing newline, so we should prepend it not append it to our inserted string.
Rollup of 6 pull requests Successful merges: - #67253 (Add more delegations to the fmt docs and add doctests) - #67281 (add string.insert benchmarks) - #67351 (Set release channel on non-dist builders) - #67421 (Fix internal documentation typo) - #67432 (Fix toolstate history format) - #67436 (Correct the todo! stabilization version) Failed merges: r? @ghost
We were inserting before the existing newline, so we should prepend it
not append it to our inserted string.