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

update to networkparser changes.

develop . b05f70...b2df9f . push triggered

  No notable changes.
02:52
created
minor

develop . 50f2bd...538fa5 . push triggered

  No notable changes.
02:02
created
minor

develop . 584cfe...50f2bd . push triggered

  No notable changes.
03:40
created
fixed termination bug

develop . 873128...584cfe . push triggered

  No notable changes.
03:35
created
I think this is a bug (fix)

develop . c225d6...873128 . push triggered

  No notable changes.
02:03
created
01:30
created
implemented lazy cloning for trafos.

develop . dfab06...588591 . push triggered

  No notable changes.
01:22
created
05:47
created
organized imports

develop . 86e17f...7af653 . push triggered

  No notable changes.
01:47
created
improved detection of model objects in aggregate method

develop . 9af5c9...86e17f . push triggered

  No notable changes.
11:16
created
fixed enumeration bug in reachability graph

develop . e9dba2...9af5c9 . push triggered

  No notable changes.
12:56
created
sokoban uses static tiles now. 10 times faster now.

develop . 2aefbe...e9dba2 . push triggered

  No notable changes.
02:39
created
more

develop . 70af42...2aefbe . push triggered

  No notable changes.
01:53
created
Improved dyn nodes certificate computation.

develop . 2aab33...70af42 . push triggered

  No notable changes.
01:32
created
commented assertion. Need use of uni dir assocs.

develop . a367bd...2aab33 . push triggered

  No notable changes.
02:39
created
bug fix. Explore might work again

develop . 5fc61f...a367bd . push triggered

  No notable changes.
01:00
created
dyn nodes example works with uni dirs.

develop . 5248f2...5fc61f . push triggered

  No notable changes.
01:19
created
bug fix

develop . fd7fbf...5248f2 . push triggered

  No notable changes.
01:44
created
bug fix

develop . a3a709...fd7fbf . push triggered

  No notable changes.
01:30
created
minor

develop . 6eaa38...a3a709 . push triggered

  No notable changes.
01:37
created