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

Merge commits from Faiss baseline #230

Conversation

alexanderguzhva
Copy link
Collaborator

@alexanderguzhva alexanderguzhva commented Nov 28, 2023

The following commits are merged from the Faiss master branch:

/kind improvement

The following commits were merged:
* f969d7ae3b2797a31507363e255c34cac0762a6
* 0a00d8137a386a0efd7f789e3e0912ab4eb73508
* c3b9374984208f37484fb7b86c44345729592835
* 9bb6b4be0d95042d10beba65706cacc234592128
* 0c07a114ad9edd44af6dc00af2f5ae42d6f2bfad
* 6c89c8bd4e239141f9a5fad224347b80114ea585
* 6b761503ba073688e3ebeaa60545633dad83d1ba
* df7280b5f6d3c85a4b7e6f845e8e042a96b5c7a4
* 9a665324827fc7819e22bbdca46c84b3feeaf909
* b109d086a2a200b1697481dd3d79faedc585a623

Signed-off-by: Alexandr Guzhva <[email protected]>
Copy link

mergify bot commented Nov 28, 2023

@alexanderguzhva 🔍 Important: PR Classification Needed!

For efficient project management and a seamless review process, it's essential to classify your PR correctly. Here's how:

  1. If you're fixing a bug, label it as kind/bug.
  2. For small tweaks (less than 20 lines without altering any functionality), please use kind/improvement.
  3. Significant changes that don't modify existing functionalities should be tagged as kind/enhancement.
  4. Adjusting APIs or changing functionality? Go with kind/feature.

For any PR outside the kind/improvement category, ensure you link to the associated issue using the format: “issue: #”.

Thanks for your efforts and contribution to the community!.

@liliu-z
Copy link
Collaborator

liliu-z commented Nov 29, 2023

/lgtm

@liliu-z
Copy link
Collaborator

liliu-z commented Nov 29, 2023

/approve

@sre-ci-robot
Copy link
Collaborator

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: alexanderguzhva, liliu-z

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@sre-ci-robot sre-ci-robot merged commit 0c7cef9 into zilliztech:main Nov 29, 2023
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants