Repository navigation
Fix documentation search recovery and refresh developer guides - #13
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
A failed documentation search-index request stayed cached, so later searches could not recover after connectivity returned. Reset the failed promise while retaining successful caching. Refresh local lint instructions to match CI tool versions and options, use a Python virtual environment, and check C/C++ formatting without rewriting files. Update the community controller usage text to POSIM while preserving the historical DAVE validation attribution.
Validation: built and checked all 48 English/Korean pages, 3,076 local links/anchors, bilingual search coverage, and 34 source launch references. A Node VM fixture reproduces the old failure and verifies recovery after network, HTTP, and JSON errors, with successful caching preserved. Browser checks covered English/Korean search, code-copy feedback, language switching, and mobile menu/search navigation at 390×844 without horizontal page overflow. Simulation code is unchanged; full Ubuntu lint and physical-device tests were not run.