ci: Set psalm PHP version to 8.1

Signed-off-by: Joas Schilling <coding@schilljs.com>
nextcloud · Sep 30, 2024 · c9dd597 · c9dd597
1 parent 2e48b75
commit c9dd597
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"