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
Push — master ( 2fbbd8...bb6266 )
by Jérémiah
02:35 queued 16s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Test Coverage
99%
▶ ±0%
Head
Jeremiah VALERIE  
Merge pull request #944 from ruudk/type-interface
5 more commits
Base
Ruud Kamphuis  
Merge 8d7a56898fe9532e154be442defc0de374e8dc07 into 0458b1f77544eefb8918d9ccd1a5b91389f78fba