fix tagging

2025-12-01 03:33:07 +00:00
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@@ -26,6 +26,11 @@ pipeline {
            }
            // update submodules
            sh '''
              git fetch --tags
              latest_tag=$(git describe --tags --abbrev=0)
              git checkout tags/$latest_tag
            '''
            sh 'git submodule update --init --recursive'
          }
        }