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 ( 3e245c...e1384c )
by Baptiste
02:13
created
src/MapInterface.php 1 patch
Doc Comments   +2 added lines, -1 removed lines patch added patch discarded remove patch
@@ -8,6 +8,7 @@  discard block
 block discarded – undo
8 8
     /**
9 9
      * @param string $keyType Type T
10 10
      * @param string $valueType Type S
11
+     * @return void
11 12
      */
12 13
     public function __construct(string $keyType, string $valueType);
13 14
 
@@ -163,7 +164,7 @@  discard block
 block discarded – undo
163 164
     /**
164 165
      * Reduce the map to a single value
165 166
      *
166
-     * @param mixed $carry
167
+     * @param Map $carry
167 168
      * @param callable $reducer
168 169
      *
169 170
      * @return mixed
Please login to merge, or discard this patch.
src/SetInterface.php 1 patch
Doc Comments   +1 added lines patch added patch discarded remove patch
@@ -10,6 +10,7 @@
 block discarded – undo
10 10
 {
11 11
     /**
12 12
      * @param string $type Type T
13
+     * @return void
13 14
      */
14 15
     public function __construct(string $type);
15 16
 
Please login to merge, or discard this patch.
src/StreamInterface.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -210,7 +210,7 @@
 block discarded – undo
210 210
     /**
211 211
      * Append the given stream to the current one
212 212
      *
213
-     * @param self $stream
213
+     * @param Sequence $stream
214 214
      *
215 215
      * @return self<T>
216 216
      */
Please login to merge, or discard this patch.