Trigger workflow on merged pull request

kgryte · kgryte · commit 207f1c098339 · 2021-08-19T00:17:22.000-07:00
diff --git a/.github/workflows/markdown_tocs.yml b/.github/workflows/markdown_tocs.yml
@@ -21,6 +21,12 @@ name: markdown_tocs
 
 # Workflow triggers:
 on:
+  pull_request:
+    branches:
+      - develop
+    types:
+      - closed
+
   # Allow the workflow to be manually run:
   workflow_dispatch:
 
@@ -33,6 +39,9 @@ jobs:
     # Define a display name:
     name: 'Update namespace ToCs'
 
+    # Only run this job if the pull request was merged:
+    if: github.event.pull_request.merged == true
+
     # Define the type of virtual host machine:
     runs-on: ubuntu-latest
 
