docs: allow manual workflow trigger to publish docs

Author: donghaoren

.github/workflows/ci.yml

@@ -10,6 +10,12 @@ on:
   release:
     types:
       - published
+  workflow_dispatch:
+    inputs:
+      publish_docs:
+        description: "Publish Documentation Website"
+        required: false
+        type: boolean
 
 jobs:
   build:
@@ -118,7 +124,7 @@ jobs:
 
   publish-pages:
     runs-on: ubuntu-latest
-    if: github.event_name == 'release'
+    if: github.event_name == 'release' || github.event.inputs.publish_docs == true
     needs:
       - build
     permissions: