Completed
Push — master ( 087b7a...3db74c )
by Karel
22s queued 17s
created

Checkout Config

imports:
  - php

tools:
  external_code_coverage: true