chore: remove psalm

Author: simPod

.gitattributes

@@ -7,5 +7,4 @@
 /phpcs.xml.dist export-ignore
 /phpstan.neon.dist export-ignore
 /phpunit.xml.dist export-ignore
-/psalm.xml.dist export-ignore
 /tests export-ignore

.github/workflows/infection.yml

@@ -33,6 +33,6 @@ jobs:
       - name: Run Infection
         run: |
           export $ENV
-          vendor/bin/roave-infection-static-analysis-plugin --threads=$(nproc)
+          vendor/bin/infection --threads=$(nproc)
         env:
           STRYKER_DASHBOARD_API_KEY: ${{ secrets.STRYKER_DASHBOARD_API_KEY }}

.github/workflows/static-analysis.yml

@@ -33,34 +33,3 @@ jobs:
 
       - name: "Run a static analysis with phpstan/phpstan"
         run: "vendor/bin/phpstan analyse --error-format=checkstyle | cs2pr"
-
-  static-analysis-psalm:
-    name: "Static Analysis with Psalm"
-    runs-on: "ubuntu-latest"
-
-    strategy:
-      matrix:
-        php-version:
-          - "8.2"
-
-    steps:
-      - name: "Checkout code"
-        uses: actions/checkout@v4
-
-      - name: "Install PHP"
-        uses: "shivammathur/setup-php@v2"
-        with:
-          coverage: "none"
-          php-version: "${{ matrix.php-version }}"
-          tools: "cs2pr"
-
-      - name: "Install dependencies with Composer"
-        uses: "ramsey/composer-install@v2"
-
-      - name: "Run a static analysis with vimeo/psalm"
-        run: "vendor/bin/psalm --output-format=github --shepherd --taint-analysis --report=results.sarif"
-
-      - name: "Upload Security Analysis results to GitHub"
-        uses: github/codeql-action/upload-sarif@v3
-        with:
-          sarif_file: results.sarif

.gitignore

@@ -6,5 +6,4 @@
 /phpcs.xml
 /phpunit.xml
 /phpstan.neon
-/psalm.xml.dist
 /vendor/

README.md

@@ -3,7 +3,6 @@
 [![Build Status](https://github.com/simPod/PhpClickHouseClient/workflows/CI/badge.svg?branch=master)](https://github.com/simPod/PhpClickHouseClient/actions)
 [![Code Coverage][Coverage image]][CodeCov Master]
 [![Downloads](https://poser.pugx.org/simpod/clickhouse-client/d/total.svg)](https://packagist.org/packages/simpod/clickhouse-client)
-[![Type Coverage](https://shepherd.dev/github/simPod/PhpClickHouseClient/coverage.svg)](https://shepherd.dev/github/simPod/PhpClickHouseClient)
 [![Infection MSI](https://img.shields.io/endpoint?style=flat&url=https%3A%2F%2Fbadge-api.stryker-mutator.io%2Fgithub.com%2FsimPod%2FPhpClickHouseClient%2Fmaster)](https://dashboard.stryker-mutator.io/reports/github.com/simPod/PhpClickHouseClient/master)
 
 ## Motivation

composer.json

@@ -46,10 +46,7 @@
         "phpstan/phpstan-phpunit": "^1.0.0",
         "phpstan/phpstan-strict-rules": "^1.0.0",
         "phpunit/phpunit": "^10.1",
-        "psalm/plugin-phpunit": "0.18.4",
-        "roave/infection-static-analysis-plugin": "^1.6",
-        "symfony/http-client": "^7.0",
-        "vimeo/psalm": "^5.0.0"
+        "symfony/http-client": "^7.0"
     },
     "autoload": {
         "psr-4": {

psalm-baseline.xml

@@ -5,7 +5,7 @@
 namespace SimPod\ClickHouseClient\Output;
 
 /**
- * @psalm-immutable
+ * @phpstan-immutable
  * @template T
  * @implements Output<T>
  */

psalm.xml.dist

@@ -11,7 +11,7 @@
 use const JSON_THROW_ON_ERROR;
 
 /**
- * @psalm-immutable
+ * @phpstan-immutable
  * @template T
  * @implements Output<T>
  */
@@ -33,10 +33,14 @@ final class Json implements Output
     /** @throws JsonException */
     public function __construct(string $contentsJson)
     {
-        // phpcs:ignore SlevomatCodingStandard.Files.LineLength.LineTooLong
         /**
-         * @var array{data: list<T>, meta: array<mixed>, rows: int, rows_before_limit_at_least?: int, statistics: array{elapsed: float, rows_read: int, bytes_read: int}} $contents
-         * @psalm-suppress ImpureFunctionCall
+         * @var array{
+         *     data: list<T>,
+         *     meta: array<mixed>,
+         *     rows: int,
+         *     rows_before_limit_at_least?: int,
+         *     statistics: array{elapsed: float, rows_read: int, bytes_read: int}
+         *  } $contents
          */
         $contents                     = json_decode($contentsJson, true, flags: JSON_THROW_ON_ERROR);
         $this->data                   = $contents['data'];