thephpleague / geotools

Completed

by Tobias

created 2020-01-30 14:23 UTC

filter:
  paths: [src/*]
tools:
  php_analyzer: true
  php_mess_detector: true
  php_pdepend: true
  external_code_coverage:
    timeout: '600'