Skip to content
Permalink
Browse files

Remove redundant check

  • Loading branch information...
muglug committed May 31, 2019
1 parent ad18eec commit 6f5da2384072b82b37c199fc412cee19ef98a167
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/psalm.php
@@ -486,8 +486,8 @@ function ($arg) {
exit;
}
// disable progressbar on CI
if (isset($_SERVER['TRAVIS'])
|| isset($_SERVER['CIRCLECI'])
|| isset($_SERVER['CIRCLECI'])
|| isset($_SERVER['APPVEYOR'])
|| isset($_SERVER['JENKINS_URL'])

0 comments on commit 6f5da23

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