From 6f2dcd3955b8530b3caf569040cb44e8b1d2f21c Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Thu, 2 Jul 2026 18:48:09 +0200
Subject: [PATCH] Serialize GitHub Pages deployments to avoid concurrent deploy
 failures

---
 .github/workflows/publish_website.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/publish_website.yml b/.github/workflows/publish_website.yml
index e3141f950..f9c5cf28d 100644
--- a/.github/workflows/publish_website.yml
+++ b/.github/workflows/publish_website.yml
@@ -6,6 +6,12 @@ on:
 permissions:
   contents: read
 
+# Allow only one concurrent deployment, without cancelling in-progress runs, so
+# that an in-flight Pages deployment is allowed to finish before the next starts.
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
 jobs:
   build:
     name: Build