Skip to content
Permalink
Browse files

Disable progressbar when GitLab CI is detected (#1867)

  • Loading branch information...
mpesari authored and muglug committed Jun 28, 2019
1 parent 87e2300 commit caf7737bbe5a5e9cbdfcc1ada83ea576ca07c9ff
Showing with 1 addition and 0 deletions.
  1. +1 −0 src/psalm.php
@@ -517,6 +517,7 @@ function ($arg) {
|| isset($_SERVER['APPVEYOR'])
|| isset($_SERVER['JENKINS_URL'])
|| isset($_SERVER['SCRUTINIZER'])
|| isset($_SERVER['GITLAB_CI'])
) {
$options['no-progress'] = true;
}

0 comments on commit caf7737

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