From 361ebcbbe43aa11201b5698503a31b51179f88ef Mon Sep 17 00:00:00 2001
From: Timothy J Warren <tim@timshomepage.net>
Date: Fri, 16 Aug 2019 14:40:15 -0400
Subject: [PATCH] Update CI stuff

---
 .travis.yml |  1 -
 Jenkinsfile | 24 ++++++++++++++++++++----
 2 files changed, 20 insertions(+), 5 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 766e0c4b..391585d3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,7 +7,6 @@ php:
   - 7.1
   - 7.2
   - 7.3
-  - hhvm
   - nightly
 
 script:
diff --git a/Jenkinsfile b/Jenkinsfile
index ac979353..11dc7110 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,8 +4,8 @@ pipeline {
  		stage('PHP 7.1') {
  			agent {
  				docker {
- 				    image 'php:7.1-alpine'
- 				    args '-u root --privileged'
+ 					image 'php:7.1-alpine'
+ 					args '-u root --privileged'
  				}
  			}
  			steps {
@@ -20,8 +20,8 @@ pipeline {
  		stage('PHP 7.2') {
  			agent {
  				docker {
- 				    image 'php:7.2-alpine'
- 				    args '-u root --privileged'
+ 					image 'php:7.2-alpine'
+ 					args '-u root --privileged'
  				}
  			}
  			steps {
@@ -33,5 +33,21 @@ pipeline {
  				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never'
  			}
  		}
+		stage('PHP 7.3') {
+			agent {
+				docker {
+					image 'php:7.3-alpine'
+					args '-u root --privileged'
+				}
+			}
+			steps {
+				sh 'chmod +x ./build/docker_install.sh'
+				sh 'sh build/docker_install.sh'
+				sh 'apk add --no-cache php7-phpdbg'
+				sh 'curl -sS https://getcomposer.org/installer | php'
+				sh 'php composer.phar install --ignore-platform-reqs'
+				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never'
+			}
+		}
  	}
  }
\ No newline at end of file