chore(workflows/publish-docs): update config

2025-12-10 18:03:01 +00:00 · 2023-12-14 14:45:01 +08:00 · 2023-12-14 14:45:01 +08:00 · 5d08b6858d
commit 5d08b6858d
parent 729b123e46
1 changed files with 8 additions and 0 deletions
--- a/.github/workflows/publish
+++ b/.github/workflows/publish
@ -7,6 +7,14 @@ on:
    paths:
      - 'docs/docs/**'
  workflow_dispatch:
+    inputs:
+      branch:
+        description: 'doc is designed be published from develop'
+        required: true
+        default: 'develop'
+        type: choice
+        options:
+          - 'develop'

 jobs:
  publish-docs: