From a744e457775e3ddb7b4c49e93d659c567ba2bb76 Mon Sep 17 00:00:00 2001
From: Nguyen Thai <tknguyen@linagora.com>
Date: Fri, 6 Oct 2023 15:49:14 +0700
Subject: [PATCH] Only make 1 PR deployment run at the time

(cherry picked from commit 807308321ffba6f3813b1e8e86bbab5b955178f5)
---
 .github/workflows/{pr-deployments.yaml => gh-pages.yaml} | 3 +++
 1 file changed, 3 insertions(+)
 rename .github/workflows/{pr-deployments.yaml => gh-pages.yaml} (97%)

diff --git a/.github/workflows/pr-deployments.yaml b/.github/workflows/gh-pages.yaml
similarity index 97%
rename from .github/workflows/pr-deployments.yaml
rename to .github/workflows/gh-pages.yaml
index 43cf467cb..f343485b4 100644
--- a/.github/workflows/pr-deployments.yaml
+++ b/.github/workflows/gh-pages.yaml
@@ -5,6 +5,9 @@ on:
 
 name: Deploy PR on Github Pages
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+
 jobs:
   deploy:
     name: Build web version and deploy