Passed
Push — master ( d52f35...dde56d )
by Grégoire
35s queued 10s
created

Checkout Config

build:
    environment:
        php:
            version: 7.2

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

Repository Config

# language: php