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

Completed
Push — v4dot1 ( e75533...7c548f )
by
unknown
18:54 queued 05:48
created

Changes

Unfortunately, the changeset was too large and we could not compute changes, but only the current state.

What's next?

9.55
▶   ± 0
Commit
Pedro X –
merge 4.1 intro v4dot1