Merge pull request #137 from wp-cli/use-trusty

Use `dist: precise` for PHP 5.3, `dist: trusty` for everything else
This commit is contained in:
gitlost 2017-08-04 14:45:10 +01:00 committed by GitHub
commit ec24d33650

View file

@ -1,4 +1,5 @@
sudo: false
dist: trusty

language: php

@ -34,6 +35,7 @@ matrix:
- php: 5.6
env: WP_VERSION=trunk
- php: 5.3
dist: precise
env: WP_VERSION=latest

before_install: