add concurrency to ci (risc0#463)

whoisgautxm · Mar 22, 2023 · 6b023e4 · 6b023e4
1 parent fc27559
commit 6b023e4
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/bench_pr.yml b/.github/workflows/bench_pr.yml
@@ -10,6 +10,10 @@ on:
 
   workflow_dispatch:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   bench:
     runs-on: [self-hosted, bench, "${{ matrix.os }}", "${{ matrix.device }}"]

diff --git a/.github/workflows/bench_trends.yml b/.github/workflows/bench_trends.yml
@@ -12,6 +12,10 @@ on:
   # pull_request:
   #   branches: [ main ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   bench:
     runs-on: [self-hosted, bench, "${{ matrix.os }}", "${{ matrix.device }}"]

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -8,6 +8,10 @@ on:
 
   workflow_dispatch:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   check:
     runs-on: ubuntu-latest