Cancel CI jobs when newer HEAD commit available.

zlib-ng · Jun 1, 2024 · d3bc79c · d3bc79c
1 parent f1e9f85
commit d3bc79c
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,5 +1,8 @@
 name: Build
 on: [push, pull_request]
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 jobs:
   ci:
     name: ${{ matrix.name }}

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -4,6 +4,9 @@ on:
   pull_request:
   schedule:
     - cron: '0 1 * * 4'
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 jobs:
   analyze:
     name: Analyze

diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
@@ -1,5 +1,8 @@
 name: OSS-Fuzz
 on: [pull_request]
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 jobs:
   Fuzzing:
     runs-on: ubuntu-latest