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
Push — master ( 1bf084...af5a56 )
by Der Mundschenk
16s
created

Changes

2 added classes/operations
Arrow A Settings::apply_character_mapping() added
Arrow A Settings::remap_character() added
8.15
▼   -0.05
Test Coverage
100%
▶ ±0%
Head
Der Mundschenk & Compagnie  
Merge pull request #118 from mundschenk-at/character-remapping
9 more commits
Base
Der Mundschenk & Compagnie  
Merge pull request #117 from mundschenk-at/area-units