r-builds/deploy.Jenkinsfile
2019-10-31 11:08:14 -04:00

27 lines
684 B
Text

pipeline {
agent {
dockerfile {
dir 'jenkins'
label 'docker'
additionalBuildArgs '--build-arg DOCKER_GID=$(stat -c %g /var/run/docker.sock) --build-arg JENKINS_UID=$(id -u jenkins) --build-arg JENKINS_GID=$(id -g jenkins)'
args '-v /var/run/docker.sock:/var/run/docker.sock --group-add docker'
}
}
environment {
HOME = "."
}
options {
ansiColor('xterm')
}
parameters {
choice(name: 'ENVIRONMENT', choices: ['staging', 'production'],
description: 'The target environment to deploy to.')
}
stages {
stage('deploy') {
steps {
sh "make serverless-deploy.${params.ENVIRONMENT}"
}
}
}
}