diff --git a/Jenkinsfile b/Jenkinsfile index d29b7be6a0..c5b631f848 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -266,6 +266,7 @@ pipeline { } steps { sh('export') + sh('git fetch --all --tags') sh('make distclean') sh('make px4_sitl_rtps') withCredentials([usernamePassword(credentialsId: 'px4buildbot_github_personal_token', passwordVariable: 'GIT_PASS', usernameVariable: 'GIT_USER')]) {