Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

#246 Exclude src/external folder from code coverage for jenkin ci #253

Merged
merged 2 commits into from Nov 8, 2019
Merged

Conversation

yhmo
Copy link
Contributor

@yhmo yhmo commented Nov 8, 2019

@yhmo yhmo added the kind/bug Issues or changes related a bug label Nov 8, 2019
@yhmo yhmo added this to In progress in v0.6.0 via automation Nov 8, 2019
v0.6.0 automation moved this from In progress to Reviewer approved Nov 8, 2019
@JinHai-CN JinHai-CN merged commit b58dd66 into milvus-io:0.6.0 Nov 8, 2019
v0.6.0 automation moved this from Reviewer approved to Done Nov 8, 2019
jaime0815 pushed a commit to jaime0815/milvus that referenced this pull request Nov 18, 2022
Signed-off-by: yhmo <yihua.mo@zilliz.com>
yah01 pushed a commit to yah01/milvus that referenced this pull request Feb 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/bug Issues or changes related a bug
Projects
No open projects
v0.6.0
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

4 participants