Completed
Push — master ( 914c2c...907858 )
by Rudi
03:08
created
6 files with issues
Count Path Last Found
4 src/Map.php
Duplication Bug
1 src/PriorityQueue.php
Coding Style Compatibility
4 src/Sequence.php
Documentation
5 src/Set.php
Documentation Bug
1 src/Traits/Collection.php
Unused Code
1 src/Traits/Sequence.php
Bug Best Practice