From b924edc423f5b71b2882e1c46919debc637634a2 Mon Sep 17 00:00:00 2001 From: Douglas Raillard Date: Thu, 25 May 2023 03:10:24 +0100 Subject: [PATCH] .github/workflows: Use concurrency group Serialize jobs so that we don't have any ordering issues when updating branches. --- .github/workflows/mirror.yml | 5 +++++ .github/workflows/preview.yml | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml index 69c0e20f9..a5937d731 100644 --- a/.github/workflows/mirror.yml +++ b/.github/workflows/mirror.yml @@ -11,6 +11,11 @@ permissions: jobs: mirror: name: mirror + + # Ensure jobs queue in order, so that we don't get race conditions while + # pushing the branch + concurrency: mirror + # Set the type of machine to run on # https://github.com/actions/virtual-environments runs-on: ubuntu-latest diff --git a/.github/workflows/preview.yml b/.github/workflows/preview.yml index 2d37af013..0c5f7c2fb 100644 --- a/.github/workflows/preview.yml +++ b/.github/workflows/preview.yml @@ -20,6 +20,11 @@ permissions: jobs: preview: name: preview + + # Ensure jobs queue in order, so that we don't get race conditions while + # pushing the branch + concurrency: preview + # Set the type of machine to run on # https://github.com/actions/virtual-environments runs-on: ubuntu-latest -- GitLab