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' } }