Completed
Push — master ( 8c58cc...ef00f8 )
by David
11s queued 10s
created

No notable changes

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

9.8
▶   ± 0
Head
David Négrier  
Merge pull request #53 from ondrejmirtes/patch-1
1 more commit
Base
David Négrier  
Merge pull request #51 from moufmouf/phpstan0.12