diff options
| author | Roeland Jago Douma <rullzer@users.noreply.github.com> | 2020-12-30 17:07:43 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-30 17:07:43 +0300 |
| commit | ab21491aea80f8e2655186c36957177ef97ab6e1 (patch) | |
| tree | 13942a03dcc1cabadf889c69b3327e56f729516f | |
| parent | 36281c64e108d0dbce2b6d6981929e72c1d0eb15 (diff) | |
| parent | 81423a2a2f5ea9d1352092703907db5015604135 (diff) | |
Merge pull request #24909 from nextcloud/fix/ci/psalm-ocp
Fix expceted psalm-ocp.xml file
| -rw-r--r-- | build/files-checker.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/files-checker.php b/build/files-checker.php index 08cf21dde8d..194ba546aec 100644 --- a/build/files-checker.php +++ b/build/files-checker.php @@ -71,6 +71,7 @@ $expectedFiles = [ 'package-lock.json', 'package.json', 'psalm.xml', + 'psalm-ocp.xml', 'public.php', 'README.md', 'remote.php', |