revert now that cache is warm

This commit is contained in:
Nicolas Grekas 2019-08-27 00:05:14 +02:00
parent 27c02ce6ac
commit d177c962d7
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.2 ]]; then
if [[ $PHP != 7.4* && $PHP != $TRAVIS_PHP_VERSION && $TRAVIS_PULL_REQUEST != false ]]; then
echo -e "\\n\\e[1;34mIntermediate PHP version $PHP is skipped for pull requests.\\e[0m"
break
fi