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

Cleanup Annoy index #50312

Merged
merged 62 commits into from
Jun 8, 2023
Merged

Cleanup Annoy index #50312

merged 62 commits into from
Jun 8, 2023

Conversation

rschu1ze
Copy link
Member

Some cleanup of the Annoy index. See the individual commits for details.

Changelog category (leave one):

  • Not for changelog (changelog entry is not required)

@robot-ch-test-poll4 robot-ch-test-poll4 added the pr-not-for-changelog This PR should not be mentioned in the changelog label May 29, 2023
@robot-ch-test-poll4
Copy link
Contributor

robot-ch-test-poll4 commented May 29, 2023

This is an automated comment for commit 1b26901 with description of existing statuses. It's updated for the latest CI running
The full report is available here
The overall status of the commit is 🟡 pending

Check nameDescriptionStatus
CI runningA meta-check that indicates the running CI. Normally, it's in success or pending state. The failed status indicates some problems with the PR🟡 pending
Mergeable CheckChecks if all other necessary checks are successful🟢 success

@rschu1ze
Copy link
Member Author

rschu1ze commented Jun 4, 2023

@nickitat Not urgent but like to check this PR?

@rschu1ze rschu1ze merged commit 56df9f3 into ClickHouse:master Jun 8, 2023
5 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-not-for-changelog This PR should not be mentioned in the changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants