Completed
Push — master ( 89795a...454e04 )
by Marco
07:56 queued 07:53
created
7.67
▼   -0.02
Test Coverage
98%
▶ ±0%
Head
Marco Pivetta  
Merge pull request #473 from kukulich/property-types
2 more commits
Base
Marco Pivetta  
Merge pull request #470 from kukulich/php-internal