Scrutinizer GitHub App not installed

We could not synchronize checks via GitHub's checks API since Scrutinizer's GitHub App is not installed for this repository.

Install GitHub App

Passed
Pull Request — main (#5441)
by Pedro
24:28 queued 09:22
created

Changes

3 issues (3 major) were introduced.
3 issues were fixed.
A B tree_element() got worse
8.29
▶   ± 0
Head
Pedro Martins  
Merge db5eae8afd5d54ca2348507ea9ece8861b9ea797 into 82215861ccc4c850ad586f12229ed17aa4f332bf
2 more commits
Base
Cristian Tăbăcitu  
fix readme logo missing