Separate Psalm out on old PHP

Author: paragonie-security

.github/workflows/ci.yml

@@ -23,6 +23,9 @@ jobs:
           ini-values: max_execution_time=600, memory_limit=256M, error_reporting=-1, display_errors=On
           coverage: none
 
+      - name: Remove psalm
+        run: composer remove --dev vimeo/psalm
+
       - name: Install Composer dependencies
         run: composer update
 

.github/workflows/psalm.yml

@@ -0,0 +1,33 @@
+name: Psalm
+
+on: [push]
+
+jobs:
+  psalm:
+    name: Psalm on PHP ${{ matrix.php-versions }}
+    runs-on: ${{ matrix.operating-system }}
+    strategy:
+      matrix:
+        operating-system: ['ubuntu-latest']
+        php-versions: ['7.4']
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup PHP
+        uses: shivammathur/setup-php@v2
+        with:
+          php-version: ${{ matrix.php-versions }}
+          tools: psalm:4
+          coverage: none
+
+      - name: Install Composer dependencies
+        uses: "ramsey/composer-install@v3"
+        with:
+          composer-options: --no-dev
+
+      - name: Put Psalm config in place
+        run: cp psalm-above-3.xml psalm.xml
+
+      - name: Static Analysis
+        run: psalm