Completed
Push — master ( 985e7a...08369a )
by Karel
03:15 queued 03:12
created

Checkout Config

imports:
  - php

tools:
  external_code_coverage: true