From fa53c7c5a72723f4839fde03791e1c2433ae056d Mon Sep 17 00:00:00 2001 From: jld3103 Date: Fri, 24 Mar 2023 12:56:06 +0100 Subject: [PATCH] Set recommended psalm options Signed-off-by: jld3103 --- psalm-ocp.xml | 2 ++ psalm.xml | 2 ++ 2 files changed, 4 insertions(+) diff --git a/psalm-ocp.xml b/psalm-ocp.xml index f117afc550f..8682c3ad8e5 100644 --- a/psalm-ocp.xml +++ b/psalm-ocp.xml @@ -6,6 +6,8 @@ xmlns="https://getpsalm.org/schema/config" xsi:schemaLocation="https://getpsalm.org/schema/config" errorBaseline="build/psalm-baseline-ocp.xml" + findUnusedBaselineEntry="true" + findUnusedCode="false" > diff --git a/psalm.xml b/psalm.xml index 009c59c7857..6a6a68f2304 100644 --- a/psalm.xml +++ b/psalm.xml @@ -6,6 +6,8 @@ xmlns="https://getpsalm.org/schema/config" xsi:schemaLocation="https://getpsalm.org/schema/config" errorBaseline="build/psalm-baseline.xml" + findUnusedBaselineEntry="true" + findUnusedCode="false" >