Modifying concurrency to NOT cancel in progress builds. For loggin (#10)

runtimeverification · Sep 16, 2024 · ad6b3db · ad6b3db
1 parent a38a149
commit ad6b3db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/optimism-ci.yaml b/.github/workflows/optimism-ci.yaml
@@ -24,7 +24,7 @@ on:
 
 # Multiple Runs will need to be allowed to queue
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event.inputs.branch_name }}
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event.inputs.statuses_sha }}
   cancel-in-progress: true
 
 jobs: