From c7961d9ca5592244a31620941c4406f7ea4c1887 Mon Sep 17 00:00:00 2001 From: Valery Melou Date: Sun, 21 Apr 2024 17:16:39 +0100 Subject: [PATCH] Update CI workflow to include 'develop' branch --- .github/workflows/ci.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 35c356f..4a88ae5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,9 +2,13 @@ name: CI on: push: - branches: - - main + branches: ['master', 'develop'] pull_request: + branches: ['master', 'develop'] + +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true permissions: actions: read