Skip to content
Permalink
Browse files

Disable progress bar automatically when GitHub Actions is detected (#…

  • Loading branch information...
LeSuisse authored and muglug committed Aug 22, 2019
1 parent 4fcbc0f commit 0860727e64e936a10dce5ee4d7195bae63d848cc
Showing with 1 addition and 0 deletions.
  1. +1 −0 src/psalm.php
@@ -408,6 +408,7 @@ function ($arg) {
|| isset($_SERVER['JENKINS_URL'])
|| isset($_SERVER['SCRUTINIZER'])
|| isset($_SERVER['GITLAB_CI'])
|| isset($_SERVER['GITHUB_WORKFLOW'])
) {
$options['no-progress'] = true;
}

0 comments on commit 0860727

Please sign in to comment.
You can’t perform that action at this time.