mirror of
https://gitee.com/milvus-io/milvus.git
synced 2025-12-31 16:05:30 +08:00
Merge branch 'branch-0.5.0' into 'branch-0.5.0'
fix jenkins build See merge request megasearch/milvus!713 Former-commit-id: 8952390ca1dbf80492ec98165b23f76da44e0d38
This commit is contained in:
commit
8cec6faaf3
@ -1,7 +1,7 @@
|
||||
container('milvus-build-env') {
|
||||
timeout(time: 5, unit: 'MINUTES') {
|
||||
dir ("milvus_engine") {
|
||||
dir ("cpp") {
|
||||
dir ("core") {
|
||||
gitlabCommitStatus(name: 'Packaged Engine') {
|
||||
if (fileExists('milvus')) {
|
||||
try {
|
||||
|
||||
@ -1,7 +1,7 @@
|
||||
container('milvus-build-env') {
|
||||
timeout(time: 5, unit: 'MINUTES') {
|
||||
dir ("milvus_engine") {
|
||||
dir ("cpp") {
|
||||
dir ("core") {
|
||||
gitlabCommitStatus(name: 'Packaged Engine') {
|
||||
if (fileExists('milvus')) {
|
||||
try {
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user