mirror of
https://github.com/danog/psalm.git
synced 2024-12-12 09:19:40 +01:00
Update psl
This commit is contained in:
parent
16aae8d440
commit
a85ddda7d5
@ -32,11 +32,7 @@ collections)
|
||||
psl)
|
||||
git clone git@github.com:psalm/endtoend-test-psl.git
|
||||
cd endtoend-test-psl
|
||||
git checkout 1.9.x-array
|
||||
composer require --dev php-standard-library/psalm-plugin:^1.1.4 --ignore-platform-reqs
|
||||
cd vendor/php-standard-library/psalm-plugin
|
||||
patch -p1 < $SCRIPT_DIR/psl-psalm-plugin.diff
|
||||
cd ../../../
|
||||
git checkout 2.3.x
|
||||
cd tools/phpbench && composer install --ignore-platform-reqs && cd ../..
|
||||
"$PSALM" --monochrome --config=tools/psalm/psalm.xml
|
||||
;;
|
||||
|
Loading…
Reference in New Issue
Block a user