Skip to content

chore: Weekly documentation index rebuild#8

Open
github-actions[bot] wants to merge 1 commit intomasterfrom
chore/rebuild-indexes
Open

chore: Weekly documentation index rebuild#8
github-actions[bot] wants to merge 1 commit intomasterfrom
chore/rebuild-indexes

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Apr 5, 2026

Automated Index Rebuild

This PR was automatically generated by the weekly index rebuild workflow.

What changed

  • Rebuilt documentation indexes from upstream sources
  • Updated search content for all enabled plugins

Vendors updated

  • WPILib (stable + 2025)
  • REV Robotics
  • CTRE Phoenix
  • PhotonVision
  • Redux

Review checklist

  • Index sizes look reasonable
  • No unexpected file deletions
  • Tests pass

Generated on: 2026-04-08T13:24:44Z

@github-actions github-actions Bot added automated documentation Improvements or additions to documentation labels Apr 5, 2026
@github-actions github-actions Bot force-pushed the chore/rebuild-indexes branch 2 times, most recently from 2cec1a4 to 631ab22 Compare April 19, 2026 04:13
@github-actions github-actions Bot force-pushed the chore/rebuild-indexes branch from 631ab22 to 56cc4b9 Compare April 26, 2026 04:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant