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.

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

Jump to bottom

Search has duplicate results (normal + unstable) #1636

Open
ch1bo opened this issue Sep 16, 2024 · 0 comments
Open

Search has duplicate results (normal + unstable) #1636

ch1bo opened this issue Sep 16, 2024 · 0 comments
Labels
bug 🐛 Something isn't working documentation 📖 Documentation changes

Comments

@ch1bo
Copy link
Collaborator

ch1bo commented Sep 16, 2024

Context & versions

After fixing basic operation of the Algolia crawler and search in #1556, we get results listed twice.

Steps to reproduce

  1. Search for "offline"

Actual behavior

Duplicate links into the various sections

image

Expected behavior

Only present results from /unstable when we are on /unstable.

Ideally, the results should also be ranked in a way that user manual and docs come before ADRs, tests or haddocks.
@ch1bo ch1bo added bug 🐛 Something isn't working documentation 📖 Documentation changes labels Sep 16, 2024
@ch1bo ch1bo mentioned this issue Sep 16, 2024
Merged
ch1bo added a commit that referenced this issue Sep 16, 2024
@ch1bo
Fix algolia search (#1635)
c3438ba 
It seems that the default facets of docusaurus do not work against our
index, so disabling the contextual search for now.

Captured a follow-up bug about listing results double: #1636
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug 🐛 Something isn't working documentation 📖 Documentation changes
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ch1bo