Completed
Push — master ( 86860a...87cd38 )
by Karel
03:51
created

Checkout Config

imports:
  - php

tools:
  external_code_coverage: true