Completed
Push — master ( 525dd4...7ac310 )
by Peter
17s queued 11s
created

Checkout Config

imports:
    - php

tools:
    external_code_coverage: true

Repository Config

# language: php