Merge branch 'devel'

This commit is contained in:
Sebastien 2018-03-01 16:47:50 +01:00
commit fcf4495545

2
Jenkinsfile vendored
View File

@ -35,7 +35,7 @@ node {
def docker_tag
script {
if (env.BRANCH_NAME == 'master') {
app.push(docker_tag)
app.push()
} else {
app.push("devel")
}