fix :: pr action if merged

teamreturn · Jul 5, 2024 · 632f6c5 · 632f6c5
1 parent 78919a8
commit 632f6c5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/git-pr.yml b/.github/workflows/git-pr.yml
@@ -7,7 +7,8 @@ on:
       - develop
 
 jobs:
-  build:
+  if_merged:
+    if: github.event.pull_request.merged == true
     runs-on: ubuntu-latest
     container: pandoc/latex
     steps: