stop any in progress PR when change is pushed

nod-ai · Oct 3, 2024 · 4dc6c93 · 4dc6c93
1 parent b359269
commit 4dc6c93
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/run_bench.yml b/.github/workflows/run_bench.yml
@@ -6,6 +6,14 @@ on:
   schedule:
     - cron: "0 9 * * *"
 
+concurrency:
+  # A PR number if a pull request and otherwise the commit hash. This cancels
+  # queued and in-progress runs for the same PR (presubmit) or commit
+  # (postsubmit). The workflow name is prepended to avoid conflicts between
+  # different workflows.
+  group: ${{ github.workflow }}-${{ github.event.number || github.sha }}
+  cancel-in-progress: true
+
 jobs:
   benchmark:
     runs-on: mi300