ci: Set psalm PHP version to 8.1

Signed-off-by: Joas Schilling <[email protected]>
nextcloud · Sep 30, 2024 · 3b77831 · 3b77831
1 parent 5d69de5
commit 3b77831
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/psalm.xml b/psalm.xml
@@ -1,6 +1,10 @@
 <?xml version="1.0"?>
 <psalm
     errorLevel="4"
+    findUnusedBaselineEntry="true"
+    findUnusedCode="false"
+    resolveFromConfigFile="true"
+    phpVersion="8.1"
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xmlns="https://getpsalm.org/schema/config"
     xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"