Merge pull request #366 from ChunYen-Chen/wiki_autoupdate_merging

Trigger workflow after merging PR
gamer-project · Oct 22, 2024 · 6ce1726 · 6ce1726
2 parents 6f42aff + e7242db
commit 6ce1726
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/copy-doc-to-wiki.yml b/.github/workflows/copy-doc-to-wiki.yml
@@ -2,13 +2,17 @@ name: Copy doc to wiki
 
 on:
   workflow_dispatch:
+  pull_request_target:
+    types:
+      - closed
 
 env:
   GIT_AUTHOR_NAME: Actionbot
   GIT_AUTHOR_EMAIL: actions@github.com
 
 jobs:
   job-copy-doc-to-wiki:
+    if: github.event.pull_request.merged == true
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repo