diff options
author | Côme Chilliet <91878298+come-nc@users.noreply.github.com> | 2024-05-02 11:04:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-02 11:04:41 +0200 |
commit | 774d4908bfb8db3d953d3711ea4b35de0d207766 (patch) | |
tree | 30340e3fef866af6373ba56e418e05395745078c | |
parent | ab0913eaba3e97758b47abcb36347914874c9641 (diff) | |
parent | 532581d7feebfaf0c5f335b1ce489e102b2a8ccf (diff) |
Merge pull request #45123 from nextcloud/backport/44956/stable27
[stable27] chore: Fix update-psalm-baseline to use correct php version depending on branch
-rw-r--r-- | psalm.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/psalm.xml b/psalm.xml index b18ebc93cdd..a3e57fb9857 100644 --- a/psalm.xml +++ b/psalm.xml @@ -5,9 +5,10 @@ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="https://getpsalm.org/schema/config" xsi:schemaLocation="https://getpsalm.org/schema/config" - errorBaseline="build/psalm-baseline.xml" + errorBaseline="build/psalm-baseline.xml" findUnusedBaselineEntry="false" findUnusedCode="false" + phpVersion="8.0" > <plugins> <plugin filename="build/psalm/AppFrameworkTainter.php" /> |