From b5adf036bf54958b918105ff17596cf1d2edbe59 Mon Sep 17 00:00:00 2001
From: Timothy J Warren <tim@timshomepage.net>
Date: Thu, 5 Dec 2019 16:26:05 -0500
Subject: [PATCH] CI tweaks

---
 Jenkinsfile       | 6 +++---
 build/phpunit.xml | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index eab9738..a4bb504 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -11,7 +11,7 @@ pipeline {
 			steps {
 				sh 'apk add --no-cache php7-phpdbg'
 				sh 'curl -sS https://getcomposer.org/installer | php'
-				sh 'php composer.phar install'
+				sh 'php composer.phar install --ignore-platform-reqs'
 				sh 'php composer.phar run-script coverage -- --coverage-text --colors=never'
 			}
 		}
@@ -25,7 +25,7 @@ pipeline {
 			steps {
 				sh 'apk add --no-cache php7-phpdbg'
 				sh 'curl -sS https://getcomposer.org/installer | php'
-				sh 'php composer.phar install'
+				sh 'php composer.phar install --ignore-platform-reqs'
 				sh 'php composer.phar run-script coverage -- --coverage-text --colors=never'
 			}
 		}
@@ -39,7 +39,7 @@ pipeline {
 			steps {
 				sh 'apk add --no-cache php7-phpdbg'
 				sh 'curl -sS https://getcomposer.org/installer | php'
-				sh 'php composer.phar install'
+				sh 'php composer.phar install --ignore-platform-reqs'
 				sh 'php composer.phar run-script coverage -- --coverage-text --colors=never'
 			}
 		}
diff --git a/build/phpunit.xml b/build/phpunit.xml
index c592fa0..40720c9 100644
--- a/build/phpunit.xml
+++ b/build/phpunit.xml
@@ -20,7 +20,7 @@
 		<!-- <log type="coverage-clover" target="logs/clover.xml"/>
 		<log type="coverage-crap4j" target="logs/crap4j.xml"/> -->
 		<log type="coverage-xml" target="logs/coverage" />
-		<log type="junit" target="logs/junit.xml" logIncompleteSkipped="false"/>
+		<log type="junit" target="logs/junit.xml" />
 	</logging>
 	<php>
 		<server name="HTTP_USER_AGENT" value="Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/51.0.2704.79 Safari/537.36 Edge/14.14393" />