From be2e1edbe2908fdeaee6cb9eba7cdfecff09450e Mon Sep 17 00:00:00 2001 From: TSC21 Date: Sun, 27 Jan 2019 17:47:11 +0000 Subject: [PATCH] Jenkins CI: ROS msgs: update stage name --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index f980b705c9..35d0c1387f 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' } }