diff --git a/src/Psalm/IssueBuffer.php b/src/Psalm/IssueBuffer.php index 8adb31ead82..e7dfdda9145 100644 --- a/src/Psalm/IssueBuffer.php +++ b/src/Psalm/IssueBuffer.php @@ -706,7 +706,7 @@ public static function finish( if (in_array( $project_analyzer->stdout_report_options->format, - [Report::TYPE_CONSOLE, Report::TYPE_PHP_STORM], + [Report::TYPE_CONSOLE, Report::TYPE_PHP_STORM, Report::TYPE_GITHUB_ACTIONS], )) { echo str_repeat('-', 30) . "\n"; diff --git a/stubs/CoreGenericFunctions.phpstub b/stubs/CoreGenericFunctions.phpstub index 2a5a74d71b7..89b18d0a444 100644 --- a/stubs/CoreGenericFunctions.phpstub +++ b/stubs/CoreGenericFunctions.phpstub @@ -1786,3 +1786,14 @@ if (defined('GLOB_BRACE')) { function glob (string $pattern, int $flags = 0): array|false {} } +/** + * @psalm-template TOutput of array|null + * + * @param TOutput $output + * @param-out (TOutput is null ? list : array) $output + * @param-out int $result_code + * + * @psalm-taint-specialize + * @psalm-taint-sink shell $command + */ +function exec(string $command, &$output = null, int &$result_code = null): string|false {}