Completed
Push — master ( d0e8ed...078f86 )
by Simon
16:02 queued 15:29
created

Checkout Config

tools:
    external_code_coverage:
        timeout: 600

Repository Config

# language: php