-
Notifications
You must be signed in to change notification settings - Fork 1.4k
doc: scripts: merge_search_indexes: align with Sphinx #25478
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
base: main
Are you sure you want to change the base?
Conversation
gmarull
commented
Nov 7, 2025
- Remove trailing ;
- Use minimal JSON separators and sort keys
- Remove trailing ; - Use minimal JSON separators and sort keys Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
This PR modifies the search index dump function to optimize the output format and remove trailing semicolons.
- Added JSON formatting options (
separatorsandsort_keys) to minimize whitespace and ensure consistent ordering - Removed the semicolon from the end of the dumped search index format
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
CI InformationTo view the history of this post, click the 'edited' button above Inputs:Sources:sdk-nrf: PR head: 555a058e9fe76c0819d1469f0f7d585d62e6fc8c more detailssdk-nrf:
Github labels
List of changed files detected by CI (1)Outputs:ToolchainVersion: Test Spec & Results: ✅ Success; ❌ Failure; 🟠 Queued; 🟡 Progress; ◻️ Skipped;
|
|
You can find the documentation preview for this PR here. |