PR status check: Tick vs Dot explanation

People sometimes ask us about the difference between "a tick" and "a dot" in the GitHub status check. Let us explain.

A tick:
Tick means that the number of introduced issues <= (smaller or equal to) the number of solved issues. But it can also mean that there were no reportable quality changes within the reviewed PR.

A dot:
Dot means that the number of introduced issues > (is greater than) the number of resolved issues. But it can also mean that the analysis is in progress, which is highlighted by the appropriate copy in your project view.