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 (#11)
by Der Mundschenk
02:42
created

Changes

2 issues (2 minor) were introduced.
4 issues were fixed. 2 issues were newly filtered.
2 new patches (Doc Comments, Spacing) are available.
1 added class/operation
Arrow A DOM::get_adjacent_chr() added
7.76
▶   ± 0
Head
Der Mundschenk & Compagnie  
Merge 5793539c270d583786ba26871c494a23da9a8285 into 9b43654ae4d39f3aa4715c66358de71fb7377f6b
1 more commit
Base
Der Mundschenk & Compagnie  
Merge pull request #10 from mundschenk-at/dewidow