Merge pull request #7810 from LedgerHQ/fix/prevent-merge-with-cancell…

…ed-jobs Prevent PR with cancelled jobs to be merged
LedgerHQ · Sep 12, 2024 · a333038 · a333038
2 parents 12472d1 + 6a82e0c
commit a333038
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build-and-test-pr.yml b/.github/workflows/build-and-test-pr.yml
@@ -86,5 +86,5 @@ jobs:
     if: always() && !cancelled()
     steps:
       - name: Check result
-        if: contains(needs.*.result, 'failure')
+        if: contains(needs.*.result, 'failure') || contains(needs.*.result, 'cancelled')
         run: exit 1
diff --git a/.github/workflows/build-and-test-push.yml b/.github/workflows/build-and-test-push.yml
@@ -66,5 +66,5 @@ jobs:
     if: always() && !cancelled()
     steps:
       - name: Check result
-        if: contains(needs.*.result, 'failure')
+        if: contains(needs.*.result, 'failure') || contains(needs.*.result, 'cancelled')
         run: exit 1