fix: all multiple prs to be merged at the same time

ORCID · May 25, 2023 · bc22ced · bc22ced
1 parent 44827b6
commit bc22ced
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/pushmain.yml b/.github/workflows/pushmain.yml
@@ -13,10 +13,11 @@ on:
     tags-ignore:
       - '**'
 
-# cancel running job if another commit comes in
+# if multiple prs get merged they will wait for each job to complete
+# so we don't get duplicate builds
 concurrency:
   group: pushmain-${{ github.ref }}-1
-  cancel-in-progress: true
+  cancel-in-progress: false
 
 jobs:
   build_test_release_tag: