diff --git a/Jenkinsfile b/Jenkinsfile index f980b705c91cb9032ee865c7673b28f61a02c8cd..35d0c1387f69d17d1e2e5fa8ffb0efe85daea574 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -473,7 +473,7 @@ pipeline { } } - stage('Generate PX4 ROS msgs') { + stage('PX4 ROS msgs') { agent { docker { image 'px4io/px4-dev-base:2019-01-01' } }