Documentation Sync

The documentation sync workflow (.github/workflows/doc-sync.yml) is triggered on push to main when docs/ changes. It performs two jobs:

1. Create documentation bundle: Uses create-doc-bundle.yml to package documentation for external publishing.
2. Publish documentation: Uploads the documentation bundle to the prod and dev documentation hosting platforms.

The gh-pages branch is kept in sync with main by the build workflow (.github/workflows/build.yml), which merges main into gh-pages before updating badge JSON files and interactive HTML reports (memory usage, power measurements) for the GitHub Pages site.