From 161b7f198fbc60c1b185495b6cad8d236d86adc4 Mon Sep 17 00:00:00 2001 From: bernatx Date: Mon, 20 Sep 2021 23:46:16 +0200 Subject: [PATCH] Refresh documentation with dev branch also --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 3fab531ee..70d40b4c5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -178,7 +178,7 @@ pipeline } stage('ubuntu Doxygen') { - when { anyOf { branch "master"; buildingTag() } } + when { anyOf { branch "master"; branch "dev"; buildingTag() } } steps { sh 'rm -rf ~/carla-simulator.github.io/Doxygen'