Fix publish image jenkins task (#21255)

Signed-off-by: Edward Zeng <jie.zeng@zilliz.com>

Signed-off-by: Edward Zeng <jie.zeng@zilliz.com>
pull/21314/head v2.2.1
edward.zeng 2022-12-15 16:13:23 +08:00 committed by GitHub
parent 99975ec7f9
commit ae5259caa3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -35,6 +35,7 @@ pipeline {
script {
sh './build/set_docker_mirror.sh'
sh "build/builder.sh /bin/bash -c \"make install\""
sh 'git config --global --add safe.directory /home/jenkins/agent/workspace'
def date = sh(returnStdout: true, script: 'date +%Y%m%d').trim()
def gitShortCommit = sh(returnStdout: true, script: 'git rev-parse --short HEAD').trim()