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
Push — develop ( 870d79...a1e45f )
by Baptiste
05:29
created

PHP Classes Changes

B Primitive added
A Primitive added
A ElementNotFound added
A MixedType added
A UnionType added
A NullableType added
A PrimitiveType added
A VariableType added
A ClassType added
B A DoubleIndex improved
B
Stream removed
A
VariableType removed
A
ClassType removed
A
PrimitiveType removed
A
MixedType removed
A
Symbol removed
A
UnionType removed
A
NullableType removed

PHP Operations Changes

B ElementNotFound::__construct() added
A Primitive::groupBy() added
A Primitive::partition() added
A Primitive::remove() added
A Primitive::contains() added
A Sequence::ints() added
A Primitive::empty() added
A Primitive::first() added
A ClassType::__invoke() added
A Sequence::strings() added
view more  
A
Stream::groupBy() removed
A
Stream::partition() removed
A
Stream::indices() removed
A
Stream::last() removed
A
Stream::contains() removed
A
Stream::join() removed
A
Stream::distinct() removed
A
Stream::toArray() removed
A
VariableType::validate() removed
A
Stream::type() removed
view more