fix: exclude pre-release tags/branches from docs workflow and remove unused workflow_dispatch (#445)

- Pre-release tags (v*-*) and docs branches (docs/v*-*) now excluded at
  the trigger level, preventing beta releases from deploying to the docs site
- workflow_dispatch removed from docs.yml — publish jobs require push event
  so manual triggers only ran the build job, which was misleading.
  docs-deploy.yml retains workflow_dispatch for manual IC re-deploys.

Author: marc0olo

.github/workflows/docs.yml

@@ -4,9 +4,11 @@ on:
   push:
     tags:
       - 'v*'
+      - '!v*-*'    # exclude pre-release tags (e.g. v0.2.0-beta.0)
     branches:
       - main
       - 'docs/v*'
+      - '!docs/v*-*'  # exclude pre-release doc branches
     paths:
       - 'docs/**'
       - 'docs-site/**'
@@ -16,7 +18,6 @@ on:
       - 'docs/**'
       - 'docs-site/**'
       - '.github/workflows/docs.yml'
-  workflow_dispatch:
 
 permissions:
   contents: write