fix(ci): fix wiki sync skipping and add manual trigger

- Remove push-only condition that caused wiki sync to skip on
  workflow_dispatch and after pages deploy
- Add 'wiki_only' input to workflow_dispatch — when set to 'true',
  skips pages build/deploy and only syncs wiki
- Use always() + result check so sync-wiki runs after both
  successful deploy AND when deploy is skipped (wiki-only mode)

Usage:
  - Push to docs/ → builds pages + syncs wiki (both)
  - Manual trigger (wiki_only=false) → builds pages + syncs wiki
  - Manual trigger (wiki_only=true) → syncs wiki only (fast)

Author: sbharatjoshi

.github/workflows/docs.yml

@@ -10,6 +10,15 @@ on:
       - 'scripts/collect-labs.sh'
       - 'LABS.md'
   workflow_dispatch:
+    inputs:
+      wiki_only:
+        description: 'Sync wiki only (skip pages deploy)'
+        required: false
+        default: 'false'
+        type: choice
+        options:
+          - 'false'
+          - 'true'
 
 permissions:
   contents: write
@@ -23,6 +32,7 @@ concurrency:
 jobs:
   build:
     runs-on: ubuntu-latest
+    if: ${{ !(github.event_name == 'workflow_dispatch' && inputs.wiki_only == 'true') }}
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -56,15 +66,16 @@ jobs:
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
     needs: build
+    if: ${{ !(github.event_name == 'workflow_dispatch' && inputs.wiki_only == 'true') }}
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
 
   sync-wiki:
     runs-on: ubuntu-latest
-    needs: deploy
-    if: github.event_name == 'push'
+    needs: [deploy]
+    if: ${{ always() && (needs.deploy.result == 'success' || needs.deploy.result == 'skipped') }}
     steps:
       - name: Checkout main repo
         uses: actions/checkout@v4