Skip to content

Commit 552db6b

Browse files
committed
Test
1 parent 20d6240 commit 552db6b

File tree

1 file changed

+9
-5
lines changed

1 file changed

+9
-5
lines changed

run-tests.php

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -652,14 +652,18 @@ function main(): void
652652

653653
if ($show_progress === null) {
654654
// Taken from https://github.com/vimeo/psalm/blob/1ef3851580acef380d083d9b4044bd8c6204b780/src/Psalm/Internal/CliUtils.php#L656
655-
$is_ci = isset($_SERVER['TRAVIS'])
655+
$is_ci = isset($_SERVER['APPVEYOR'])
656+
|| isset($_SERVER['BUILD_DEFINITIONVERSION']) // Azure pipelines
656657
|| isset($_SERVER['CIRCLECI'])
657-
|| isset($_SERVER['APPVEYOR'])
658+
|| isset($_SERVER['DRONE'])
659+
|| isset($_SERVER['GITHUB_WORKFLOW'])
660+
|| isset($_SERVER['GITLAB_CI'])
658661
|| isset($_SERVER['JENKINS_URL'])
659662
|| isset($_SERVER['SCRUTINIZER'])
660-
|| isset($_SERVER['GITLAB_CI'])
661-
|| isset($_SERVER['GITHUB_WORKFLOW'])
662-
|| isset($_SERVER['DRONE']);
663+
|| isset($_SERVER['TRAVIS']);
664+
665+
// Test to see how to detect Cirrus
666+
var_dump($_SERVER);
663667

664668
$show_progress = !$is_ci;
665669
}

0 commit comments

Comments
 (0)