From a1060602836433b7cb49df34e2b577f04897afcc Mon Sep 17 00:00:00 2001 From: Alex Gemberg Date: Fri, 22 May 2026 16:09:53 +1000 Subject: [PATCH] ci: cancel superseded workflow runs for PR pushes --- .github/workflows/ci.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 37776fd31..962b492d1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -69,6 +69,11 @@ on: branches: - main +# Cancel superseded CI runs for the same PR to save runner time. +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + jobs: fmt: name: formatting