Completed
Push — master ( 29742d...80d3da )
by Karel
22s queued 12s
created

Checkout Config

imports:
  - php

tools:
  external_code_coverage: true