From ef906d08d38515ddaa16d669e510c1cd8fb79c01 Mon Sep 17 00:00:00 2001
From: Julien Lecoeur <jlecoeur@users.noreply.github.com>
Date: Tue, 14 Nov 2017 16:01:07 +0100
Subject: [PATCH] Jenkins: update docker image (#8286)

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 5ef84b810d..f29e5ea5ed 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
   agent {
     docker {
-      image 'px4io/px4-dev-simulation:2017-09-26'
+      image 'px4io/px4-dev-simulation:2017-10-23'
       args '--env CCACHE_DISABLE=1 --env CI=true'
     }
   }