disable psalm

Author: tvdijen

.github/workflows/php.yml

@@ -19,17 +19,6 @@ jobs:
     runs-on: ['ubuntu-latest']
 
     steps:
-      - name: Setup PHP, with composer and extensions
-        id: setup-php
-        # https://github.com/shivammathur/setup-php
-        uses: shivammathur/setup-php@v2
-        with:
-          # Should be the higest supported version, so we can use the newest tools
-          php-version: '8.4'
-          tools: composer
-          extensions: ctype, date, dom, filter, hash, mbstring, openssl, pcre, soap, spl, xml
-          coverage: none
-
       - uses: actions/checkout@v4
         with:
           # super-linter needs the full git history to get the
@@ -48,7 +37,8 @@ jobs:
           VALIDATE_BASH: true
           VALIDATE_BASH_EXEC: true
           VALIDATE_JSON: true
-          VALIDATE_PHP_BUILTIN: true
+          # VALIDATE_PHP_BUILTIN: true
+          VALIDATE_PHP_PSALM: false
           VALIDATE_YAML: true
           VALIDATE_GITHUB_ACTIONS: true