Merge pull request #15 from pmsipilot/fix-deploy

chore: Deploy only on PHP 7.1
This commit is contained in:
Julien BIANCHI 2017-06-01 19:57:27 +02:00 committed by GitHub
commit 0f197f1251

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