From d039474eecdad378ab53446b91f596699a007c0f Mon Sep 17 00:00:00 2001 From: Matthias Date: Wed, 17 Jun 2026 18:27:12 +0200 Subject: [PATCH] ci: serialize deploys to prevent gh-pages race --- .github/workflows/deploy.yml | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 84f99c37..c7f3421e 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -3,10 +3,17 @@ name: Zola on: push: branches: - - master + - master pull_request: workflow_dispatch: +# Serialize deploys so concurrent runs can't race when force-pushing to +# gh-pages, which can leave the GitHub Pages deployment wedged. Queue rather +# than cancel, so a half-finished push is never interrupted. +concurrency: + group: pages-${{ github.ref }} + cancel-in-progress: false + jobs: build: name: Build @@ -20,7 +27,7 @@ jobs: BUILD_DIR: . BUILD_ONLY: true BUILD_FLAGS: --drafts - + deploy: name: Deploy runs-on: ubuntu-latest