mirror of
https://github.com/danog/psalm.git
synced 2025-01-22 13:51:54 +01:00
improve CI error message
This commit is contained in:
parent
a3d58cf2fd
commit
8407cacc02
@ -636,7 +636,7 @@ HELP;
|
||||
|
||||
if (isset($options['php-version'])) {
|
||||
if (!is_string($options['php-version'])) {
|
||||
die('Expecting a version number in the format x.y' . PHP_EOL);
|
||||
die('Expecting a version number in the format x.y, got'. get_debug_type($options['php-version']) . PHP_EOL);
|
||||
}
|
||||
$version = $options['php-version'];
|
||||
$source = 'cli';
|
||||
|
Loading…
x
Reference in New Issue
Block a user