add Jenkinsfile for php image

2019-02-09 22:50:41 -05:00
parent 43e7eda6a7
commit 9405d08c1b
6 changed files with 63 additions and 0 deletions
--- a/dockerfiles/tasks/Jenkinsfile
+++ b/dockerfiles/tasks/Jenkinsfile
@@ -7,6 +7,10 @@ pipeline {
            description: 'What image would you like to build?'
        )
    }
+    options {
+        disableConcurrentBuilds(),
+        buildDiscarder(logRotator(numToKeepStr: '10'))
+    }
    stages {
        stage('Build Image') {
            steps {