aboutsummaryrefslogtreecommitdiffhomepage
path: root/jenkins
diff options
context:
space:
mode:
Diffstat (limited to 'jenkins')
-rwxr-xr-xjenkins/pull_request_in_docker.sh7
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