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

Signed-off-by: Morris Jobke <hey@morrisjobke.de>

diff --git a/.github/workflows/static-code-analysis.yml b/.github/workflows/static-code-analysis.yml
index bd7476df1ec5b0d24616680af30d84f43510fc4f..f90e102a99d242aede83c0f052dd59fc967393eb 100644 (file)
--- a/.github/workflows/static-code-analysis.yml
+++ b/.github/workflows/static-code-analysis.yml
@@ -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 )"

diff --git a/build/files-checker.php b/build/files-checker.php
index b8c60727b0c481da64a100c73c5a1e05c69a9e32..08cf21dde8d68cc5c0182ca2c8cf3b90e20fc837 100644 (file)
--- a/build/files-checker.php
+++ b/build/files-checker.php
@@ -70,6 +70,7 @@ $expectedFiles = [
        'ocs',
        'package-lock.json',
        'package.json',
+       'psalm.xml',
        'public.php',
        'README.md',
        'remote.php',