Add PHP 7.3, bump distro version

This commit is contained in:
Josh Sherman 2019-01-02 22:47:31 -06:00
parent 04ef71b6c6
commit d9565be023
No known key found for this signature in database
GPG key ID: 55B058A80530EF22

View file

@ -1,5 +1,5 @@
language: php language: php
dist: trusty dist: bionic
sudo: required sudo: required
matrix: matrix:
@ -12,6 +12,7 @@ matrix:
- php: 7.0 - php: 7.0
- php: 7.1 - php: 7.1
- php: 7.2 - php: 7.2
- php: 7.3
- php: hhvm - php: hhvm
env: HHVM=true env: HHVM=true