-
Notifications
You must be signed in to change notification settings - Fork 13.2k
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
Make note bold #106123
Make note bold #106123
Conversation
(rustbot has picked a reviewer for you, use r? to override) |
@jyn514 look at the newer commit, the commit which is r+'ed just bolds "note", but i was wrong in that and the whole note was in bold |
the new..new commit, my bad (ugh this is a mess) |
@bors r=jyn |
☀️ Test successful - checks-actions |
Finished benchmarking commit (3468044): comparison URL. Overall result: no relevant changes - no action needed@rustbot label: -perf-regression Instruction countThis benchmark run did not return any relevant results for this metric. Max RSS (memory usage)ResultsThis is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.
CyclesThis benchmark run did not return any relevant results for this metric. |
this seems to be have occurred in a recent edit, i clearly remember just note being boldthe entire note was bold