1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 20:34:47 +01:00

Merge pull request #10145 from weirdan/show-success-message-with-github-formatter

This commit is contained in:
Bruce Weirdan 2023-08-24 13:25:52 +02:00 committed by GitHub
commit 0160c469cd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -706,7 +706,7 @@ final class IssueBuffer
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";