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 (#2647)
by
unknown
04:18
created

Configuration has changed

The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.

Changes

6 new patches (Doc Comments) are available.
5.12
▶   ± 0
Head
Rudy Montoya Rodriguez  
Merge a6168755de2e1e91f862bb0acee37d534097593e into dba6406087cb72e824b3f01d710cd52da3afaa26
1 more commit
Base
Nicolas Brassard  
Release 2.6.11