[Bug fix] Allowing manually update wiki page

ChunYen-Chen · Nov 7, 2024 · 7cc34dd · 7cc34dd
1 parent b7a9b19
commit 7cc34dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/copy-doc-to-wiki.yml b/.github/workflows/copy-doc-to-wiki.yml
@@ -12,7 +12,7 @@ env:
 
 jobs:
   job-copy-doc-to-wiki:
-    if: github.event.pull_request.merged == true
+    if: github.event_name == 'workflow_dispatch' || github.event.pull_request.merged == true
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repo