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

Adding Algolia search to Eva-DB Docs #1158

Merged
merged 1 commit into from
Sep 19, 2023

Conversation

kslohith
Copy link
Contributor

This Commit contains necessary css & js file changes and algolia configuration details to add algolia search to eva-db documentation page.

This Commit contains necessary css & js file changes and algolia configuration details to add algolia search to eva-db documentation page.
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👋 Hello @kslohith, thanks for submitting a EVA DB PR 🙏 To allow your work to be integrated as seamlessly as possible, we advise you to:

  • ✅ Verify that your PR is up-to-date with georgia-tech-db/eva master branch. If your PR is behind you can update your code by clicking the 'Update branch' button or by running git pull and git merge master locally.
  • ✅ Verify that all EVA DB Continuous Integration (CI) checks are passing.
  • ✅ Reduce changes to the absolute minimum required for your bug fix or feature addition.

@kslohith
Copy link
Contributor Author

Screenshot 2023-09-17 at 9 16 08 PM Screenshot 2023-09-17 at 9 18 46 PM

@xzdandy xzdandy added this to the v0.3.5 milestone Sep 18, 2023
@xzdandy xzdandy linked an issue Sep 18, 2023 that may be closed by this pull request
2 tasks
@jarulraj
Copy link
Member

That was quick, @kslohith :)

@jarulraj jarulraj merged commit c559d0b into georgia-tech-db:staging Sep 19, 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.

Adding Algolia search for docs
3 participants