Completed
Push — master ( 5456b1...c5d87a )
by Rudi
05:12 queued 02:50
created
8 files with issues
Count Path Last Found
2 src/PriorityQueue.php
Coding Style Compatibility Unused Code
3 src/Queue.php
Documentation Duplication
3 src/Stack.php
Documentation Duplication
3 src/Traits/Collection.php
Unused Code Documentation
6 src/Sequence.php
Documentation
7 src/Map.php
Duplication Bug Coding Style
8 src/Set.php
Documentation Coding Style Bug
13 src/Traits/Sequence.php
Bug Best Practice Duplication