danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00
Code Issues Projects Releases Wiki Activity

chore: enable psl tests again

Browse Source 
Signed-off-by: azjezz <azjezz@protonmail.com>
This commit is contained in:
azjezz 2022-02-06 19:35:25 +01:00 committed by Bruce Weirdan
parent d7d846edc8
commit d47c0140ed
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.circleci/config.yml
View File

@ -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

2
bin/test-with-real-projects.sh
View File

@ -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
;;