Check marks differ (minor)

[jmid]

I've noticed that the check marks used to signal OK differs between the different backends tested.
The is obviously not a major issue - but nevertheless something that made my OCD click 😅

For example, for this PR ocaml-multicore/multicoretests#366
clicking Details on Multicoretests-CI yields the following under Linux Chromium:

https://github.com/ocaml-multicore/multicoretests/pull/366/checks?check_run_id=14737229131

Under Chrome on my old MacBook all OK marks are white-on-green, however the three green ones in the above screenshot are smaller, perhaps indicating a different Unicode character being used? 🤔

[benmandrew]

This issue has also appeared in OCaml-CI.

According to the HTML, GitHub seems to be injecting a wrapper <g-emoji> tag around some but not all emojis. If the emoji is deemed not to exist, it has a fallback (your white tick) but even if it finds the emoji it still modifies the appearance; you can see in your screenshot one of the red crosses is slightly larger than the others.

It's very annoying! Hopefully I'll find a quick fix.

[benmandrew]

This appears to have been a problem on GitHub's end that is now fixed. If it reappears the issue can be reopened.

[jmid]

I'm still seeing different checkmarks, so I think this should be reopened: