Cancel in-progress jobs for new pushes

hyperlight-dev · Nov 21, 2024 · 823c43c · 823c43c
1 parent 8d0cb80
commit 823c43c
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.github/workflows/dep_fuzzing.yml b/.github/workflows/dep_fuzzing.yml
@@ -13,6 +13,11 @@ on:
         type: string
         default: "false"
 
+# Cancels old running job if a new one is triggered (e.g. by a push onto the same branch)
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true        
+
 permissions:
   id-token: write
   contents: read

diff --git a/.github/workflows/dep_rust.yml b/.github/workflows/dep_rust.yml
@@ -12,6 +12,11 @@ on:
         type: string
         default: "false"
 
+# Cancels old running job if a new one is triggered (e.g. by a push onto the same branch)
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 env:
   CARGO_TERM_COLOR: always
   RUST_BACKTRACE: FULL