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
05:22
created

Changes

Test Coverage has decreased to 99% (-1%).
2 added classes/operations
Arrow A Settings::apply_character_mapping() added
Arrow A Settings::remap_character() added
8.16
▼   -0.04
Test Coverage
99%
▼ -1%   –   Changes
Head
Der Mundschenk & Compagnie  
Merge c87b088e1cd4556fb65685836214a6c41e302808 into 1bf084ef28664e5c313e7315d3f3b991cbdb287a
6 more commits
Base
Der Mundschenk & Compagnie  
Merge pull request #117 from mundschenk-at/area-units