From 95e8b7920ae937299947ddb4c2e7fb38fbe1b5fd Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshomepage.net>
Date: Wed, 11 Mar 2020 15:05:27 -0400
Subject: [PATCH] Remove php7.2 step in CI

---
 Jenkinsfile | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index f80f38d3..8f68e3e7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,22 +1,6 @@
 pipeline {
  	agent none
  	stages {
- 		stage('PHP 7.2') {
- 			agent {
- 				docker {
- 					image 'php:7.2-alpine'
- 					args '-u root --privileged'
- 				}
- 			}
- 			steps {
- 				sh 'apk add --no-cache php7-phpdbg'
- 				sh 'curl -sS https://getcomposer.org/installer | php'
-				sh 'rm -f composer.lock'
- 				sh 'php composer.phar install --ignore-platform-reqs'
-				sh 'php vendor/bin/robo lint'
- 				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never'
- 			}
- 		}
 		stage('PHP 7.3') {
 			agent {
 				docker {