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

ci(docs): exclude unreferenced docs from search results #7385

Merged
merged 1 commit into from
Jan 16, 2024
Merged

ci(docs): exclude unreferenced docs from search results #7385

merged 1 commit into from
Jan 16, 2024

Conversation

ossdhaval
Copy link
Contributor

Prepare

Description

Target issue

closes #7384

Implementation Details

Test and Document the changes

  • Static code analysis has been run locally and issues have been fixed
  • Relevant unit and integration tests have been added/updated
  • Relevant documentation has been updated if any (i.e. user guides, installation and configuration guides, technical design docs etc)

@ossdhaval ossdhaval requested a review from moabu January 16, 2024 13:37
@ossdhaval ossdhaval self-assigned this Jan 16, 2024
@mo-auto mo-auto added area-CI Issue or changes required in automatic builds or CI infrastructure area-documentation Documentation needs to change as part of issue or PR labels Jan 16, 2024
@moabu moabu merged commit 8c9e5e3 into main Jan 16, 2024
2 checks passed
@moabu moabu deleted the ci-improve-doc-search branch January 16, 2024 15:18
yuriyz pushed a commit that referenced this pull request Nov 7, 2024
@ossdhaval
ci(docs): exclude unreferenced docs from search results (#7385)
9e4b3ca 
Signed-off-by: ossdhaval <[email protected]>
Former-commit-id: 8c9e5e3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@moabu moabu moabu approved these changes

Assignees

@ossdhaval ossdhaval

Labels
area-CI Issue or changes required in automatic builds or CI infrastructure area-documentation Documentation needs to change as part of issue or PR
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

ci(docs): search on documentation site should exclude items that are not in navigation
3 participants
@ossdhaval @moabu @mo-auto