From fa53c7c5a72723f4839fde03791e1c2433ae056d Mon Sep 17 00:00:00 2001 From: jld3103 Date: Fri, 24 Mar 2023 12:56:06 +0100 Subject: Set recommended psalm options Signed-off-by: jld3103 --- psalm.xml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'psalm.xml') 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" > -- cgit v1.2.3