Skip to content

fix: set searchindex hiddenDefault flag#10916

Merged
jennifer-richards merged 2 commits into
ietf-tools:mainfrom
jennifer-richards:searchindex-hidden-default
May 21, 2026
Merged

fix: set searchindex hiddenDefault flag#10916
jennifer-richards merged 2 commits into
ietf-tools:mainfrom
jennifer-richards:searchindex-hidden-default

Conversation

@jennifer-richards

Copy link
Copy Markdown
Member

No description provided.

@codecov

codecov Bot commented May 21, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.51%. Comparing base (e2604a5) to head (3189215).
⚠️ Report is 4 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main   #10916      +/-   ##
==========================================
- Coverage   88.51%   88.51%   -0.01%     
==========================================
  Files         332      332              
  Lines       44970    44973       +3     
==========================================
+ Hits        39807    39809       +2     
- Misses       5163     5164       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@jennifer-richards jennifer-richards merged commit d7ce42f into ietf-tools:main May 21, 2026
9 checks passed
@jennifer-richards jennifer-richards deleted the searchindex-hidden-default branch May 21, 2026 17:34
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators May 25, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants