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

feat(#197): add search to docs site #507

Merged
merged 10 commits into from
May 23, 2022
Merged

Conversation

Decipher
Copy link
Member

@Decipher Decipher commented May 23, 2022

Types of changes

  • Bug fix (a non-breaking change which fixes an issue)
  • New feature (a non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)

Description

Checklist:

  • My change requires a change to the documentation.
  • I have updated the documentation accordingly. (PR: #)
  • I have added tests to cover my changes (if not applicable, please state why)
  • All new and existing tests are passing.

Screenshots/Media:

@Decipher Decipher added the documentation Improvements or additions to documentation label May 23, 2022
@changeset-bot
Copy link

changeset-bot bot commented May 23, 2022

⚠️ No Changeset found

Latest commit: ebe1c95

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@codecov
Copy link

codecov bot commented May 23, 2022

Codecov Report

Merging #507 (32f1518) into develop (5c01b00) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop     #507   +/-   ##
========================================
  Coverage    97.08%   97.08%           
========================================
  Files           86       86           
  Lines         2195     2195           
  Branches       427      427           
========================================
  Hits          2131     2131           
  Misses          57       57           
  Partials         7        7           

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@Decipher Decipher merged commit 56b3966 into develop May 23, 2022
@Decipher Decipher deleted the feature/197-docs_search branch May 23, 2022 23:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add search to documentation
2 participants