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