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.

Sign up for GitHub

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

better search page #142

Merged

nameczz merged 1 commit into main from better-search

Dec 14, 2022

Collaborator

shanghaikid commented Dec 14, 2022

adjust search page layout
user choose different collection, the metric box should fill with metric value of the collection automatically
user now can fill example vector into the search box


better search page

787935b

shanghaikid requested a review from nameczz

December 14, 2022 09:11

nameczz approved these changes

View reviewed changes

nameczz merged commit ce72c11 into main

nameczz deleted the better-search branch

December 14, 2022 11:34

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment