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.
Completed
Pull Request — master (#118)
by Der Mundschenk
06:06
created

Changes

8 issues (8 minor) were introduced.
Test Coverage has decreased to 99% (-1%).
4 added classes/operations
Arrow A Settings::character_mapping() added
Arrow A Settings::remap_character() added
Arrow A Settings::apply_mapping() added
Arrow A Settings::map() added
8.14
▼   -0.06
Test Coverage
99%
▼ -1%   –   Changes
Head
Der Mundschenk & Compagnie  
Merge 5039e1da69e1b87c5689be83e7a8b17cdbd9fe1c into 1bf084ef28664e5c313e7315d3f3b991cbdb287a
2 more commits
Base
Der Mundschenk & Compagnie  
Merge pull request #117 from mundschenk-at/area-units