From d873b7745ebfb4c2f12ce32c9c1e74d0589385e7 Mon Sep 17 00:00:00 2001 From: Cail Daley Date: Tue, 8 Sep 2026 18:24:24 +0200 Subject: [PATCH] ci: queue gh-pages deploys instead of racing Concurrent doc-deploy runs on back-to-back pushes to develop both hit peaceiris/actions-gh-pages at once, and the loser fails with "cannot lock ref 'refs/heads/gh-pages'" (seen in run 34250154443). Scope the job to a gh-pages- concurrency group; cancel-in-progress is fine since develop only ever has one active deploy target and the newest push should win over a stale one still building. Co-Authored-By: Claude Fable 5.1 Claude-Session: https://claude.ai/code/session_01Wk8SZkCRuKQ5xu5g38zHpx --- .github/workflows/deploy-docs.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 691090fc..19f3edb5 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -23,6 +23,9 @@ jobs: permissions: contents: write packages: read + concurrency: + group: gh-pages-${{ github.ref }} + cancel-in-progress: true container: image: ghcr.io/cosmostat/sp_validation:develop