From 2d59fd5788ba3bee2fc86dc75fafaa8b6a6e4f7f Mon Sep 17 00:00:00 2001
From: bernatx <bernatx@gmail.com>
Date: Wed, 28 Jul 2021 19:21:08 +0200
Subject: [PATCH] Enable carla:latest docker of development branch

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c97aa7155..e014ee3f6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -164,7 +164,7 @@ pipeline
                             steps
                             {
                                 sh 'git checkout .'
-                                sh 'make deploy ARGS="--replace-latest"'
+                                sh 'make deploy ARGS="--replace-latest --docker-push"'
                             }
                         }
                         stage('ubuntu deploy master')