Fixed Psalm 5 crash on PHP 7.2 (#61)

2022-12-21 21:30:41 +02:00
1 parent d4127c7a91
commit 103525ac92
@@ -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"