From a867d2af5a20fd1b6926e628f7a71efac85ad583 Mon Sep 17 00:00:00 2001 From: El1as42 Date: Wed, 21 Oct 2026 14:37:49 +0200 Subject: [PATCH] ci: run one docs deploy at a time Merging #26 and #27 seconds apart started two deploys that both fetched gh-pages at 75c32d5; the second push was rejected as non-fast-forward. A concurrency group queues the second run instead. Co-Authored-By: Claude Opus 5.5 --- .github/workflows/ci.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7ca8313..75a26a3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,6 +8,13 @@ on: permissions: contents: write +# One deploy at a time: two merges in quick succession otherwise both fetch the +# same gh-pages commit and the second push is rejected as non-fast-forward. +# A newer queued run replaces an older one; it builds the newer main anyway. +concurrency: + group: gh-pages-deploy + cancel-in-progress: false + jobs: deploy: runs-on: ubuntu-latest