Fix Pages deploy OIDC permission regression in docs workflow

[Copilot]

The GitHub Actions deploy job in the Pages pipeline began failing when actions/deploy-pages@v5 could not obtain an ID token. This PR aligns workflow permissions with Pages deploy requirements so the dynamic pages build and deployment run can mint OIDC credentials reliably.

• Root-cause scope

  • The failure occurred in the Pages deploy job (Failed to get ID Token) during actions/deploy-pages@v5, indicating missing explicit OIDC permission in the triggering workflow context.

• Workflow permission fix

  • Updated .github/workflows/docs.yml top-level permissions to include the Pages/OIDC scopes required by deploy-pages.

permissions:
  contents: write
  pages: write
  id-token: write

• Change surface
  • Single-file, surgical workflow change; no runtime/package code or docs content behavior changes.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!