PR analysis results are now displayed in the Checks tab of Pull Requests in GitHub

Hi Lorenzo,

Indeed we forgot to update our docs, we’re sorry about that.
We will fix that asap.

Thank you for your feedback.