Public runs

The runs behind the leaderboard that reviewed pull requests of public repositories, down to each finding, its judgment, and its cost. Runs on private repositories count in the leaderboard's numbers and are shown nowhere.