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

GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.
Passed
Pull Request — master (#118)
by Der Mundschenk
03:34
created

Changes

8 issues (8 minor) were introduced.
Test Coverage has decreased to 99% (-1%).
3 added classes/operations
Arrow A Settings::character_mapping() added
Arrow A Settings::remap_character() added
Arrow A Settings::apply_mapping() added
8.15
▼   -0.05
Test Coverage
99%
▼ -1%   –   Changes
Head
Der Mundschenk & Compagnie  
Merge 1749e9b3f4b43d7ab1ca05a7ed9e402758563ade into 1bf084ef28664e5c313e7315d3f3b991cbdb287a
1 more commit
Base
Der Mundschenk & Compagnie  
Merge pull request #117 from mundschenk-at/area-units