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.

Inspections

Change docs formatting to markdown

php72 . 7acb7d...00659a . push triggered

  No notable changes.
02:02
created
Tweak formatting

php72 . 813db7...7acb7d . push triggered

  No notable changes.
02:18
created
Tweak dev deps

php72 . faff79...813db7 . push triggered

  1 fixed issue found.
02:07
created
Add return type

php72 . 751a02 . manually triggered

  1 new issue, 7 fixed issues found.
01:44
created
Change requirements to PHP 7.2

php72 . 843cb3 . manually triggered

  13 new issues found.
03:26
created