[ci] Add CI jobs for PHP 7.2 and 7.3

This commit is contained in:
Olly Betts 2019-02-08 15:39:34 +13:00
commit f4c3948455

View file

@ -134,6 +134,16 @@ matrix:
env: SWIGLANG=php VER=7.1
sudo: required
dist: trusty
- compiler: gcc
os: linux
env: SWIGLANG=php VER=7.2
sudo: required
dist: trusty
- compiler: gcc
os: linux
env: SWIGLANG=php VER=7.3
sudo: required
dist: trusty
- compiler: gcc
os: linux
env: SWIGLANG=python # 2.7