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
Pull Request — master (#1225)
by Henrique
05:39
created

Changes

2 added classes/operations
Arrow A Not::extractNegatedRule() added
Arrow A Not::getNegatedRule() added
9.92
▶   ± 0
Test Coverage
97%
▲ +1%   –   Changes
Head
Henrique Moody  
Merge 1b844763a943d15c71a1a83adf6e5ef032037281 into 344b00cc07a58b8e52a91a348d8e969b2a7c5f52
1 more commit
Base
Henrique Moody  
Improve tests of the "Optional" rule