Completed
Push — show_random_color_button ( e12268...932f1a )
by Georg
20:29
created

Checkout Config

filter:
    excluded_paths:
        - 'js/vendor/*'
        - 'js/public/*'
        - 'l10n/*'


imports:
    - javascript
    - php

tools:
    external_code_coverage:
        timeout: 1000