Merge branch 'update/ci-config' into 'master'
Don't be so specific, letting the API supply the point version. See merge request !4
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Test | |||||||||
| passed |
#3979
|
PHPCS |
00:00:36
|
|
|||||
| passed |
#3973
|
PHPunit:PHP5.3:MySQL |
00:01:20
|
|
|||||
| passed |
#3974
|
PHPunit:PHP5.6:MySQL |
00:01:10
|
|
|||||
| passed |
#3975
|
PHPunit:PHP7.0:MySQL |
00:01:26
|
|
|||||
| passed |
#3976
|
PHPunit:PHP7.1:MySQL |
00:01:20
|
|
|||||
| passed |
#3977
|
PHPunit:PHP7.2:MySQL |
00:01:12
|
|
|||||
| passed |
#3978
|
PHPunit:PHP7.3:MySQL |
00:01:11
|
|
|||||
| Deploy | |||||||||
| passed |
#3980
|
PluginSVN |
00:00:28
|
|
|||||