Jenkins fetch all tags

2026-10-26 05:43:34 +08:00 · 2019-07-25 11:14:16 -04:00
parent 57352ae3bd
commit 71613ac631
2 changed files with 5 additions and 0 deletions
@@ -245,6 +245,7 @@ pipeline {
          steps {
            sh 'export'
            sh 'make distclean'
+            sh 'git fetch --tags'
            sh 'make scan-build'
            // publish html
            publishHTML target: [
@@ -303,6 +304,7 @@ pipeline {
          steps {
            sh 'export'
            sh 'make distclean'
+            sh 'git fetch --tags'
            sh 'make cppcheck'
            // publish html
            publishHTML target: [