Disable GitHub Pages deploy on every push

[jmjava]

Summary

Stops Deploy to GitHub Pages from running on pushes to main (including the failing run 30730398390).

Repo Pages is already configured as Deploy from branch → gh-pages, and docs are published with ./scripts/deploy-docs-pages-local.sh. The Actions workflow was still trying to deploy from main on docs/** changes and failing environment protection rules.

Changes

• .github/workflows/pages.yml: remove the push trigger; keep workflow_dispatch only
• docs/demos/TOOLING.md: note that Pages CI is not push-triggered

REASONS Canvas

• Work ID: n/a (ops/chore; no canvas change)
• Canvas path: n/a

Checklist

• Canvas updated or synced (n/a)
• One operation per coding session respected
• Tests added or updated (n/a — workflow trigger change)
• Review completed
• Safeguards respected
• CI gates pass (validate-command-adapters, test-adapter-install, validate-canvas, validate-diagrams)
• If command/prompt adapter files changed, ran adapter parity validation (n/a)

Test Plan

• Confirmed failing run was workflow Deploy to GitHub Pages / .github/workflows/pages.yml on push to main
• Confirmed repo Pages source is gh-pages branch (legacy), not GitHub Actions
• After merge, a docs change on main should not start this workflow
• Manual publish path unchanged: ./scripts/deploy-docs-pages-local.sh

  

[cursor]

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.