chore: Deploy only on PHP 7.1

This commit is contained in:
jubianchi 2017-06-01 19:53:39 +02:00
parent b2c3b1cf5c
commit 4461c49a26
No known key found for this signature in database
GPG key ID: 5D9C896D2AA9E390

View file

@ -41,8 +41,10 @@ deploy:
- provider: script
script: ci/deploy.sh
on:
php: 7.1
all_branches: master
- provider: script
script: ci/deploy.sh
on:
php: 7.1
tags: true