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.
Test Failed
Pull Request — master (#1470)
by Markus
03:01 queued 51s
created

Changes

Test Coverage has decreased to 67% (-7%).
8.96
▶   ± 0
Test Coverage
67%
▼ -7%   –   Changes
Head
Markus Staab  
Merge 0f6b3e3b20693413223d6f5e8b9dcf1c215ac00b into 519c1a005b831228cd81b776caa2b291b9811b2d
2 more commits
Base
Markus Staab  
document "pop" container property (#1466)