Completed
Push — master ( 244bd0...dd8200 )
by Marco
193:33 queued 168:30
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.85
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Marco Pivetta  
Merge pull request #446 from Ocramius/fix/disallow-dependencies-that-are-not-php-7.2-compatible
1 more commit
Base
Jefersson Nathan  
Merge pull request #444 from Ocramius/feature/run-infection-with-phpdbg