merge coverages
This commit is contained in:
parent
ff13e58f8f
commit
937106c0d7
1 changed files with 3 additions and 1 deletions
|
@ -6,4 +6,6 @@ filter:
|
|||
excluded_paths: [lib/*,ext/tagger/script.js,ext/chatbox/*]
|
||||
|
||||
tools:
|
||||
external_code_coverage: true
|
||||
external_code_coverage:
|
||||
runs: 12
|
||||
timeout: 1800
|
||||
|
|
Reference in a new issue