Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWilliam Desportes <williamdes@wdes.fr>2020-05-20 03:07:01 +0300
committerWilliam Desportes <williamdes@wdes.fr>2020-05-20 03:07:01 +0300
commit1f8d3d4e0ed126c7ff910d0028432524aad52d52 (patch)
treee154fa6bb0d12643966beced85c32a2319584df1 /.scrutinizer.yml
parentcdb3629da2c081b14415dca709cf530732a87996 (diff)
Set Scrutinizer coverage to external
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to '.scrutinizer.yml')
-rw-r--r--.scrutinizer.yml4
1 files changed, 4 insertions, 0 deletions
diff --git a/.scrutinizer.yml b/.scrutinizer.yml
index dd61d5dc6d..212815b9c9 100644
--- a/.scrutinizer.yml
+++ b/.scrutinizer.yml
@@ -12,6 +12,10 @@ filter:
checks:
javascript: true
php: true
+tools:
+ external_code_coverage:
+ runs: 4 # php 7.x versions
+ timeout: 900 # 15 min
build:
nodes:
analysis: