From 4fd67d81321e5b68d743c0802cd66e577feb9a0a Mon Sep 17 00:00:00 2001 From: zeevdr Date: Wed, 8 Jul 2026 10:32:31 +0300 Subject: [PATCH] ci(docs): add workflow_dispatch and Pages concurrency to docs deploy Allow the docs site to be redeployed manually via the Actions UI, and serialize Pages deployments with a `pages` concurrency group so a later push cannot race an in-flight deploy. Mirrors the docs workflow in decree-typescript. Refs #165 Co-Authored-By: Claude --- .github/workflows/docs.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index bb02f7f..04072cf 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -4,12 +4,17 @@ on: push: branches: [main] tags: ["v*.*.*"] + workflow_dispatch: permissions: contents: read pages: write id-token: write +concurrency: + group: pages + cancel-in-progress: false + jobs: build: runs-on: ubuntu-latest