It would be nice if the arrows in the benchmark bot comments were colored, to signify changes for better or worse. This essentially requires two things:
Knowing which metric is if-bigger-then-better, and which is if-smaller-then-better.
Displaying the arrows. Markdown doesn't support font colors by itself, but it might be possible to use embedded SVGs or LaTeX snippets to do this.
It would be nice if the arrows in the benchmark bot comments were colored, to signify changes for better or worse. This essentially requires two things: