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

Add algolia config for the dev guide #2508

Merged
merged 2 commits into from
Feb 6, 2024
Merged

Add algolia config for the dev guide #2508

merged 2 commits into from
Feb 6, 2024

Conversation

andriitserkovnyi
Copy link
Collaborator

PR Description

Added missing configuration to fix search in the dev guide

Checklist

  • I agree with the Code Contribution License Agreement in CONTRIBUTING.md

@andriitserkovnyi andriitserkovnyi added the small changes PR contains small changes, like typo fixes label Feb 6, 2024
@andriitserkovnyi andriitserkovnyi merged commit 1a636fc into master Feb 6, 2024
13 of 14 checks passed
@andriitserkovnyi andriitserkovnyi deleted the algolia-config branch February 6, 2024 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lenadoc lenadoc Awaiting requested review from lenadoc

Assignees
No one assigned
Labels
small changes PR contains small changes, like typo fixes
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@andriitserkovnyi