chore(workflows/publish-docs): update config

2025-12-11 18:42:56 +00:00 · 2023-12-14 14:46:17 +08:00 · 2023-12-14 14:46:17 +08:00 · 53078ba5f0
commit 53078ba5f0
parent 729083aa01
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: