diff options
Diffstat (limited to 'jenkins')
-rwxr-xr-x | jenkins/pull_request_in_docker.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/jenkins/pull_request_in_docker.sh b/jenkins/pull_request_in_docker.sh index 66f3bb23..b843a355 100755 --- a/jenkins/pull_request_in_docker.sh +++ b/jenkins/pull_request_in_docker.sh @@ -58,12 +58,7 @@ parallel --results $LOG_OUTPUT_DIR --joblog $OUTPUT_DIR/joblog $TEST_SCRIPT ::: ruby_all \ javascript \ golang \ - php5.5 \ - php5.6 \ - php7.0 \ - php5.5_c \ - php5.6_c \ - php7.0_c \ + php_all \ || true # Process test results even if tests fail. cat $OUTPUT_DIR/joblog |