From ef3ad8f5f361eb2ed8b8e71e99901e348d0bcd49 Mon Sep 17 00:00:00 2001
From: Markus Lehtonen <markus.lehtonen@intel.com>
Date: Fri, 15 Sep 2023 11:43:23 +0300
Subject: [PATCH] github: prevent parallel runs of gh-pages update

Ensure sequential updates to the gh-pages branch. Otherwise, if parallel
jobs are triggered, onnly one (the first to complete) will succeed and
the others will fail with git push error (because the tip of the
gh-pages has moved and their commit doesn't apply anymore).
---
 .github/workflows/gh-pages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index ebca0b5a6..f615327e5 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -8,6 +8,10 @@ on:
       - v[0-9]+.[0-9]+.[0-9]+
   release:
     types: [published]
+
+concurrency:
+  group: ${{ github.workflow }}
+
 jobs:
   build:
     name: Update gh-pages