Skip to content

chore: add keywords to red-content search preset#11159

Merged
jennifer-richards merged 2 commits into
ietf-tools:mainfrom
jennifer-richards:searchindex-keywords
Jul 7, 2026
Merged

chore: add keywords to red-content search preset#11159
jennifer-richards merged 2 commits into
ietf-tools:mainfrom
jennifer-richards:searchindex-keywords

Conversation

@jennifer-richards

Copy link
Copy Markdown
Member

Matches a change made to the live system. Keeping this draft until we've evaluated the change.

@jennifer-richards jennifer-richards requested a review from NGPixel July 6, 2026 13:54
@codecov

codecov Bot commented Jul 6, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.59%. Comparing base (8dbc1bc) to head (b97e2ab).
⚠️ Report is 19 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main   #11159      +/-   ##
==========================================
+ Coverage   88.52%   88.59%   +0.06%     
==========================================
  Files         334      333       -1     
  Lines       45102    44669     -433     
==========================================
- Hits        39927    39573     -354     
+ Misses       5175     5096      -79     

☔ View full report in Codecov by Harness.
📢 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 marked this pull request as ready for review July 7, 2026 16:53
@jennifer-richards jennifer-richards merged commit 0c2665b into ietf-tools:main Jul 7, 2026
9 checks passed
@jennifer-richards jennifer-richards deleted the searchindex-keywords branch July 7, 2026 19:55
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jul 11, 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.

2 participants