Completed
Push — master ( 87972f...9ffe58 )
by Carsten
02:01
created

Checkout Config

imports:
    - php

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