Check only the baseline.xml and exclude the psalm.xml from the file check

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
This commit is contained in:
Morris Jobke 2020-08-18 12:37:53 +02:00
parent c6b251ca0c
commit 42bb6cd7d7
No known key found for this signature in database
GPG Key ID: FE03C3A163FEDE68
2 changed files with 2 additions and 1 deletions

View File

@ -22,4 +22,4 @@ jobs:
args: psalm --monochrome --no-progress --output-format=text --update-baseline
- name: Check for changes in Psalm baseline
run: |
bash -c "[[ ! \"`git status --porcelain `\" ]] || ( echo 'Uncommited changes in Psalm baseline' && git status && git diff && exit 1 )"
bash -c "[[ ! \"`git status --porcelain build/psalm-baseline.xml`\" ]] || ( echo 'Uncommited changes in Psalm baseline' && git status && git diff && exit 1 )"

View File

@ -70,6 +70,7 @@ $expectedFiles = [
'ocs',
'package-lock.json',
'package.json',
'psalm.xml',
'public.php',
'README.md',
'remote.php',