From 8a7223593d5841f0a751b59fc99ee96509862c1c Mon Sep 17 00:00:00 2001 From: "Timothy J. Warren" Date: Thu, 11 Oct 2018 12:08:57 -0400 Subject: [PATCH] Maybe third time is a charm for Jenkins? --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index f9d969cc..76288014 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,9 +3,9 @@ pipeline { stages { stage('PHP 7.1') { agent { + docker { image 'php:7.1-alpine' } label 'php-7.1' } - docker { image 'php:7.1-alpine' } steps { sh 'build/docker_install.sh > /dev/null' 'apk add --no-cache php7-phpdbg' @@ -16,9 +16,9 @@ pipeline { } stage('PHP 7.2') { agent { + docker { image 'php:7.2-alpine' } label 'php-7.2' } - docker { image 'php:7.2-alpine' } steps { sh 'build/docker_install.sh > /dev/null' 'apk add --no-cache php7-phpdbg'