From 4dc6c9342d7c136bbcb57eafae785457fd01df03 Mon Sep 17 00:00:00 2001 From: saienduri Date: Thu, 3 Oct 2024 14:06:25 -0500 Subject: [PATCH] stop any in progress PR when change is pushed --- .github/workflows/run_bench.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/workflows/run_bench.yml b/.github/workflows/run_bench.yml index d20190d..63bdefd 100644 --- 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