thephpleague / geotools

Completed

by Tobias

created 2021-02-02 13:16 UTC

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