jenkinsfile for robo

2020-04-05 23:17:18 -04:00
parent 7cc970f689
commit 3c912b0a01
2 changed files with 18 additions and 1 deletions
--- a/dockerfiles/tasks/Jenkinsfile
+++ b/dockerfiles/tasks/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
    parameters {
        choice(
            name: 'IMAGE',
-            choices: ['ansible', 'apidocjs', 'composer', 'mondrian', 'php'],
+            choices: ['ansible', 'apidocjs', 'composer', 'mondrian', 'php', 'robo'],
            description: 'What image would you like to build?'
        )
    }