Cancel previous GH Actions after push (#174)

When pushing several changes to a pull request, I don't think we need to continue running the actions (particularly benchmarking) for the old commits. This should cancel any still-running workflows when a new commit is pushed.
vercel · Jul 28, 2022 · 118afe3 · 118afe3
1 parent 81feaa9
commit 118afe3
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 0 deletions.
diff --git a/.github/workflows/bench_against_node_nft.yml b/.github/workflows/bench_against_node_nft.yml
@@ -10,6 +10,10 @@ env:
   CARGO_PROFILE_RELEASE_LTO: true
   RUST_BACKTRACE: 1
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: ${{  github.event_name == 'pull_request' }}
+
 jobs:
   bench_vs_node_nft:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/bench_pr.yml b/.github/workflows/bench_pr.yml
@@ -9,6 +9,10 @@ env:
   CARGO_PROFILE_RELEASE_LTO: true
   RUST_BACKTRACE: 1
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: ${{  github.event_name == 'pull_request' }}
+
 jobs:
   bench:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -9,6 +9,10 @@ on:
 env:
   CARGO_TERM_COLOR: always
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: ${{  github.event_name == 'pull_request' }}
+
 jobs:
   check:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -10,6 +10,10 @@ env:
   CARGO_TERM_COLOR: always
   RUST_BACKTRACE: 1
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: ${{  github.event_name == 'pull_request' }}
+
 jobs:
   test:
     strategy: