really skip

This commit is contained in:
Nicolas Grekas 2019-08-26 23:48:39 +02:00
parent c5d51e8e07
commit 27c02ce6ac
1 changed files with 1 additions and 1 deletions

View File

@ -260,7 +260,7 @@ install:
run_tests () {
set -e
export PHP=$1
if [[ $PHP != 7.5* && $PHP != $TRAVIS_PHP_VERSION && $TRAVIS_PULL_REQUEST != false ]]; then
if [[ $PHP != 7.2 ]]; then
echo -e "\\n\\e[1;34mIntermediate PHP version $PHP is skipped for pull requests.\\e[0m"
break
fi