Update to Psalm 4 · sebastianbergmann/php-file-iterator@38cbba3 (original) (raw)
5 files changed
lines changed
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -44,7 +44,7 @@ jobs: | ||
44 | 44 | run: ./tools/composer update --no-interaction --no-ansi --no-progress |
45 | 45 | |
46 | 46 | - name: Run vimeo/psalm |
47 | -run: ./tools/psalm --no-progress --shepherd --show-info=false --stats | |
47 | +run: ./tools/psalm --config=.psalm/config.xml --no-progress --shepherd --show-info=false --stats | |
48 | 48 | |
49 | 49 | backward-compatibility: |
50 | 50 | name: Backward Compatibility |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
1 | 1 | |
2 | 2 | <phive xmlns="" title="undefined" rel="noopener noreferrer">https://phar.io/phive"\> |
3 | 3 | <phar name="php-cs-fixer" version="^2.16" installed="2.16.4" location="./tools/php-cs-fixer" copy="true"/> |
4 | - <phar name="psalm" version="^3.11" installed="3.18.2" location="./tools/psalm" copy="true"/> | |
4 | + <phar name="psalm" version="^4.0" installed="4.0.1" location="./tools/psalm" copy="true"/> | |
5 | 5 | <phar name="roave/backwardcompatibilitycheck" version="^5.0.0" installed="5.0.0" location="./tools/roave-backward-compatibility-check" copy="true"/> |
6 | 6 | </phive> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
1 | + | |
2 | +<files psalm-version="4.0.1@b1e2e30026936ef8d5bf6a354d1c3959b6231f44"/> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,11 @@ | ||
1 | 1 | |
2 | 2 | <psalm |
3 | -totallyTyped="false" | |
4 | 3 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
5 | 4 | xmlns="https://getpsalm.org/schema/config" |
6 | 5 | xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd" |
6 | +resolveFromConfigFile="false" | |
7 | +totallyTyped="false" | |
8 | +errorBaseline=".psalm/baseline.xml" | |
7 | 9 | > |
8 | 10 | <projectFiles> |
9 | 11 | <directory name="src" /> |