Skip to content

docs: rebuild mkdocs site output#11

Draft
GeorgePearse wants to merge 1 commit intomainfrom
docs/site-rebuild
Draft

docs: rebuild mkdocs site output#11
GeorgePearse wants to merge 1 commit intomainfrom
docs/site-rebuild

Conversation

@GeorgePearse
Copy link
Copy Markdown
Owner

Summary

Regenerates the committed MkDocs output under site/ so it matches the current docs sources.

Notes

  • This is a generated-artifacts PR; the diff is large and mostly HTML/asset churn (hashed filenames, search index, sitemap).
  • Generated with mkdocs build in this environment.

Testing

  • mkdocs build (no link-check performed).

@openhands-ai
Copy link
Copy Markdown

openhands-ai bot commented Dec 24, 2025

Looks like there are a few issues preventing this PR from being merged!

  • GitHub Actions are failing:
    • Performance Benchmarks

If you'd like me to help, just leave a comment, like

@OpenHands please fix the failing actions on PR #11 at branch `docs/site-rebuild`

Feel free to include any additional details that might help me get this PR into a better state.

You can manage your notification settings

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant