From 103525ac92ea31b2c7becec3452e5d9fa7f8a9b6 Mon Sep 17 00:00:00 2001
From: Andrey Savchenko <contact@rarst.net>
Date: Wed, 21 Dec 2022 21:30:41 +0200
Subject: [PATCH] Fixed Psalm 5 crash on PHP 7.2 (#61)

---
 .github/workflows/tests.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 0eb3948..980815a 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -16,7 +16,7 @@ jobs:
         uses: shivammathur/setup-php@v2
         with:
           php-version: '7.2'
-          tools: phpunit:8,psalm
+          tools: phpunit:8,psalm:4
 
       - name: Setup problem matchers for PHPUnit
         run: echo "::add-matcher::${{ runner.tool_cache }}/phpunit.json"
@@ -40,4 +40,4 @@ jobs:
 
       - name: PHPUnit
         run: phpunit --coverage-text
-        if: always()
\ No newline at end of file
+        if: always()