Completed
Push — master ( 482085...508d87 )
by Carsten
02:42 queued 26s
created

Checkout Config

imports:
    - php

tools:
    external_code_coverage:
        timeout: 600 # Timeout in seconds.