Switch the PHP ext jobs to a whitelist rather than a blacklist

Any new PHP version added in the future will be a PHP 7.x one, not a 5.x one, and so should not have a job for the extension.
This commit is contained in:
Christophe Coevoet
2018-03-02 19:08:25 +01:00
committed by GitHub
parent 067ade15e6
commit 738f17bb45
+3 -7
View File
@@ -18,7 +18,6 @@ php:
env: env:
- TWIG_EXT=no - TWIG_EXT=no
- TWIG_EXT=yes
before_install: before_install:
# turn off XDebug # turn off XDebug
@@ -47,12 +46,9 @@ matrix:
- php: 5.3 - php: 5.3
dist: precise dist: precise
env: TWIG_EXT=no env: TWIG_EXT=no
exclude: - php: 5.4
- php: 7.0
env: TWIG_EXT=yes env: TWIG_EXT=yes
- php: 7.1 - php: 5.5
env: TWIG_EXT=yes env: TWIG_EXT=yes
- php: 7.2 - php: 5.6
env: TWIG_EXT=yes
- php: nightly
env: TWIG_EXT=yes env: TWIG_EXT=yes