Closed xThaid closed 5 months ago
- I changed red triangles 🔺🔻 to black ones ▲▼, because a) there are no green arrows in unicode, b) for some metrics lower value means better, but for some don't and I don't want to implement this logic as well.
Fair enough, I think that this should have an issue, though - colored triangles might be possible by using LaTeX or embedded SVGs.
Maybe the arrow can be changed to white up and red down for now?
benchmark
label and the workflow was triggered twice.I tested the changes on my own fork.
Fixes #669