Closed GuillaumeGomez closed 1 year ago
Considering there is no rust change in this PR, I assume some clippy lints need some fixes. I'll send another PR for them.
@bors r+
:pushpin: Commit f503c380bd32a6da356fb32ee7100ea2d6bd5830 has been approved by Mark-Simulacrum
It is now in the queue for this repository.
:hourglass: Testing commit f503c380bd32a6da356fb32ee7100ea2d6bd5830 with merge e3f0570089eb13fdd3a193ae710cdcf92d23783f...
:broken_heart: Test failed - checks-actions
I rebased on https://github.com/rust-lang/crater/pull/676 so CI should be happy now.
@Mark-Simulacrum Fixed CI.
@bors r+
:pushpin: Commit f63b497d6491967956384a924ef60a77b5320def has been approved by Mark-Simulacrum
It is now in the queue for this repository.
:hourglass: Testing commit f63b497d6491967956384a924ef60a77b5320def with merge 9365bc77095dcd16785295c69d05c4d2f73543fc...
:sunny: Test successful - checks-actions Approved by: Mark-Simulacrum Pushing 9365bc77095dcd16785295c69d05c4d2f73543fc to master...
I had a hard time trying to figure out what I was reading. Thanks to @lqd, I was able to understand so I think a little UI improvement wouldn't necessarily be a bad idea. Here is what it looks like with this change:
It adds new "header" which provides more context to what is displayed.