diff --git a/.circleci/config.yml b/.circleci/config.yml index b5e709f688c..f70557a8be3 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -71,10 +71,9 @@ jobs: - run: name: Analyse PHPUnit command: bin/test-with-real-projects.sh phpunit - # PSL requires its own plugin that is not yet compatible with Psalm 5 - # - run: - # name: Analyse Psl - # command: bin/test-with-real-projects.sh psl + - run: + name: Analyse Psl + command: bin/test-with-real-projects.sh psl - run: name: Analyse Collections command: bin/test-with-real-projects.sh collections diff --git a/bin/test-with-real-projects.sh b/bin/test-with-real-projects.sh index 0419d304d56..eb4e84d300b 100755 --- a/bin/test-with-real-projects.sh +++ b/bin/test-with-real-projects.sh @@ -32,7 +32,7 @@ psl) git clone git@github.com:psalm/endtoend-test-psl.git cd endtoend-test-psl git checkout 1.9.x - composer require --dev php-standard-library/psalm-plugin --ignore-platform-reqs + composer require --dev php-standard-library/psalm-plugin:^1.1.4 --ignore-platform-reqs cd tools/phpbench && composer install --ignore-platform-reqs && cd ../.. "$PSALM" --monochrome --config=tools/psalm/psalm.xml ;;