From 2d9ad2f75ffa294336e69e39fd8bd268412a9cc5 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves.strub@pqshield.com>
Date: Fri, 23 Jan 2026 23:12:17 +0100
Subject: [PATCH] CI (doc): not cancellable

---
 .github/workflows/docs.yml | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 87658237a..43a02784d 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -11,13 +11,13 @@ permissions:
   pages: write
   id-token: write
 
+concurrency:
+  group: "refman"
+  cancel-in-progress: false
 
 jobs:
   build:
     runs-on: ubuntu-latest
-    concurrency:
-      group: "refman"
-      cancel-in-progress: true
 
     steps:
       - name: Checkout
@@ -72,9 +72,6 @@ jobs:
     runs-on: ubuntu-latest
     needs: build
     if: github.event_name == 'push' && github.ref == 'refs/heads/main'
-    concurrency:
-      group: "refman"
-      cancel-in-progress: false
 
     steps:
     - name: Download documentation (artifact)