From ce5150b6df6bea734901c297757ad1b0892c4f44 Mon Sep 17 00:00:00 2001 From: Sam Clegg Date: Mon, 3 Feb 2025 12:42:24 -0800 Subject: [PATCH] [ci] Cancel CI jobs when new commits are added to a PR This should really be the default shouldn't it? --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e7b5eae71db..c56a0b9cff7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,6 +9,10 @@ on: - kripken/* pull_request: +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + jobs: lint: