Completed
Push — master ( 0cea12...a3877c )
by Rudi
05:39 queued 03:11
created
9 files with issues
Count Path Last Found
9 src/ds.php
Coding Style Compatibility Documentation
10 src/Ds/Map.php
Bug Best Practice Documentation Duplication
10 src/Ds/PriorityQueue.php
Bug Best Practice Unused Code Coding Style Compatibility
3 src/Ds/Queue.php
Duplication Documentation
6 src/Ds/Sequence.php
Documentation
12 src/Ds/Set.php
Bug Best Practice Documentation Duplication Coding Style
3 src/Ds/Stack.php
Duplication Documentation
4 src/Ds/Traits/Collection.php
Bug Unused Code Comprehensibility
19 src/Ds/Traits/Sequence.php
Bug Best Practice Duplication