Completed
Push — master ( 7fe9d8...8ae4a4 )
by Dominik
08:37
created

Checkout Config

# default-configurations
imports:
    - javascript
    - php   
    
tools:
    external_code_coverage:
        timeout: 1200 # Timeout 20min in seconds.