build: environment: php: version: 7.2 #tools: # external_code_coverage: # timeout: 600