Completed
Push — master ( 0342c6...d7e16c )
by Peter
15s queued 10s
created

Checkout Config

imports:
    - php

tools:
    external_code_coverage: true

Repository Config

# language: php