Publish docs via GitHub Pages

Workflow runs for Publish docs via GitHub Pages

• [Testing] test changes from #5432 against newer riscv-toolchain

  completed successfully:
  Publish docs via GitHub Pages#1346:Pull request#5438openedbymartin-frbg
  martin-frbg:test5432

  Sep 5, 202512m 30s
  More actions for workflow run 1346

• Bump xuantie toolchains

  completed successfully:
  Publish docs via GitHub Pages#1345:Pull request#5393synchronizebyxctan
  xctan:bump-xuantie-toolchains

  Sep 4, 202528s
  More actions for workflow run 1345