Use psalm v5

thephpleague · Dec 7, 2022 · 0add8a4 · 0add8a4
1 parent da8b4a0
commit 0add8a4
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 2 deletions.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -65,9 +65,9 @@ jobs:
             - uses: actions/checkout@v3
             - uses: shivammathur/setup-php@v2
               with:
-                  php-version: '7.4'
+                  php-version: '8.0'
                   extensions: gd, imagick
-                  tools: vimeo/psalm:4.15
+                  tools: vimeo/psalm:5
             - name: psalm
               run: |
                   composer update --no-interaction --no-ansi --no-progress

diff --git a/psalm-baseline.xml b/psalm-baseline.xml
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<files psalm-version="dev-master@">
+  <file src="src/ServerFactory.php">
+    <UndefinedClass occurrences="3">
+      <code>Filesystem</code>
+      <code>Filesystem</code>
+      <code>Filesystem</code>
+    </UndefinedClass>
+  </file>
+</files>
diff --git a/psalm.xml b/psalm.xml
@@ -5,6 +5,7 @@
     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"
+    errorBaseline="psalm-baseline.xml"
 >
     <projectFiles>
         <directory name="src" />