Wrong version of psalm.phar

[JakeQZ]

php "./tools/psalm" -v

gives

Psalm 4.x-dev@

But if Psalm is installed with Composer by adding the following to composer.json

"vimeo/psalm": "^4.7.0"

then

php "./vendor/bin/psalm" -v

gives

Psalm 4.7.0@d4377c0baf3ffbf0b1ec6998e8d1be2a40971005

Also, without Psalm installed with Composer, I get 29 additional errors reported when running composer ci:php:psalm. But if it is installed with Composer, even if run via the .phar, it runs as expected. Psalm bootstraps via Composer, and its classes will be autoloaded from the Composer-installed version, if available, in preference to those in the .phar.

I don't know why this problem is not being seen on the build server, or @oliverklee you are not seeing a problem either. Could it be autoloading classes from elsewhere on the system?

[JakeQZ]

The version we have matches the one at https://github.com/vimeo/psalm/releases/download/4.7.0/psalm.phar and I also find the same issue with 4.6.4.