From de23899e49719f51a3846f956d0b251490a7726c Mon Sep 17 00:00:00 2001 From: Federico Di Pierro Date: Tue, 4 Apr 2023 14:40:49 +0200 Subject: [PATCH] cleanup(ci): properly set a concurrency for CI workflows. Signed-off-by: Federico Di Pierro --- .github/workflows/ci.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 74c4c437..98d92f5f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -6,6 +6,12 @@ on: branches: [master] workflow_dispatch: +# Checks if any concurrent jobs under the same pull request or branch are being executed +# NOTE: this will cancel every workflow that is being ran as group is just the github ref (without the workflow name) +concurrency: + group: ${{ github.ref }} + cancel-in-progress: true + jobs: build-minimal: runs-on: ubuntu-20.04