From 046a0cfd39611ed478f489bd66a7b350088a204a Mon Sep 17 00:00:00 2001 From: Marco Pasqualetti Date: Sat, 7 Feb 2026 20:39:58 +0100 Subject: [PATCH] ci: avoid multiple ci runs when event is `pull_request` --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8cbc5279..f90297e7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -10,6 +10,10 @@ on: - master - monorepo # to be removed once we complete monorepo tasks +concurrency: + group: "${{ github.workflow }}-${{ github.head_ref }}" + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + permissions: {} jobs: