Deal with this later

paragonie · Apr 19, 2024 · d0778e8 · d0778e8
1 parent 7a42c04
commit d0778e8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -91,7 +91,4 @@ jobs:
         run: vendor/bin/phpunit
 
       - name: Install Psalm
-        run: composer require --dev vimeo/psalm
-
-      - name: Static Analysis
-        run: vendor/bin/psalm
+        run: composer require --dev vimeo/psalm:^4
diff --git a/psalm.xml b/psalm.xml
@@ -7,7 +7,6 @@
         <directory name="src" />
     </projectFiles>
     <issueHandlers>
-        <RedundantPropertyInitializationCheck errorLevel="info" />
         <RedundantCast errorLevel="suppress" />
         <!-- PHP 5 support requires being explicit, even if it means being redundant -->
         <UnnecessaryVarAnnotation errorLevel="suppress" />