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 — 0.12 ( b72f72...1b5fbe )
by Jérémiah
11:15 queued 13s
created

No notable changes

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

8.76
▶   ± 0
Test Coverage
98%
▶ ±0%
Head
Jeremiah VALERIE  
Merge branch 'fix/inheritPrivateProperties0.12' into 0.12 cherry-pick commits from original #675 fix proposed for 0.13
2 more commits
Base
Jeremiah VALERIE  
Fix 0.12 travis build