fix: don’t build anew if a PR was simply edited

jenstroeger · Oct 4, 2022 · e1fdcb7 · e1fdcb7
1 parent f41b0e6
commit e1fdcb7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml
@@ -56,6 +56,7 @@ jobs:
 
   build:
     needs: conventional-commits
+    if: ${{ github.event.action !== 'edited' }}
     uses: ./.github/workflows/build.yaml
     permissions:
       contents: read