From 1007f16923732cb8c9bb02574522008e8ebfd2e0 Mon Sep 17 00:00:00 2001 From: Gabriel Erzse Date: Mon, 18 Mar 2024 14:57:46 +0200 Subject: [PATCH] Avoid workflows canceling each other out (#3183) Co-authored-by: Gabriel Erzse --- .github/workflows/docs.yaml | 2 +- .github/workflows/integration.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index c5c74aa4d3..a3512b46dc 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -13,7 +13,7 @@ on: - cron: '0 1 * * *' # nightly build concurrency: - group: ${{ github.event.pull_request.number || github.ref }} + group: ${{ github.event.pull_request.number || github.ref }}-docs cancel-in-progress: true permissions: diff --git a/.github/workflows/integration.yaml b/.github/workflows/integration.yaml index 584999d8e7..537409b5f1 100644 --- a/.github/workflows/integration.yaml +++ b/.github/workflows/integration.yaml @@ -17,7 +17,7 @@ on: - cron: '0 1 * * *' # nightly build concurrency: - group: ${{ github.event.pull_request.number || github.ref }} + group: ${{ github.event.pull_request.number || github.ref }}-integration cancel-in-progress: true permissions: