Skip to content

chore: Weekly documentation index rebuild#8

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

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

Conversation

@github-actions

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

Copy link
Copy Markdown
Contributor

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-05-09T07:15:28Z

@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
@github-actions github-actions Bot force-pushed the chore/rebuild-indexes branch from 56cc4b9 to d74c256 Compare May 3, 2026 04:14
@github-actions github-actions Bot force-pushed the chore/rebuild-indexes branch 2 times, most recently from f72b2eb to 5d9e1a8 Compare May 17, 2026 04:13
@github-actions github-actions Bot force-pushed the chore/rebuild-indexes branch 2 times, most recently from 8875fb7 to e8c7e5f Compare May 31, 2026 04:15
@github-actions github-actions Bot force-pushed the chore/rebuild-indexes branch from e8c7e5f to 7d425eb Compare June 7, 2026 04:15
@github-actions github-actions Bot force-pushed the chore/rebuild-indexes branch from 7d425eb to 6554a85 Compare June 14, 2026 04:18
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