fix: trigger docs deploy via workflow_call from docs.yml

[marc0olo]

Problem

Two issues prevented docs-deploy.yml from triggering after docs.yml pushed to docs-deployment:

1. GITHUB_TOKEN pushes don't trigger other workflows — by design, to prevent infinite loops
2. workflow_run doesn't fire for tag-triggered workflows — so versioned doc deploys from v* tags would never deploy to the IC

Fix

Use workflow_call — docs.yml explicitly calls docs-deploy.yml as a job after the publish jobs complete.

The deploy-to-ic job is skipped on PR builds via if: github.event_name != 'pull_request'.

Trigger matrix

Event	publish jobs	deploy-to-ic
Push to main	root-files + main-docs succeed	✅ runs
Push to docs/v* or tag v*	versioned-docs succeeds	✅ runs
PR	all skipped	✅ skipped
Any publish job fails	failure	✅ skipped