1build:
2    environment:
3        php:
4            version: 7.2
5#tools:
6#  external_code_coverage:
7#    timeout: 600
8