From 9a311b8ca33824b324bdbe8b31335ff8fc5147cc Mon Sep 17 00:00:00 2001 From: Benoit TRAVERS Date: Thu, 16 Jul 2026 03:14:48 +0200 Subject: [PATCH] ci: deploy docs on docs changes to main MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit docs-only merges (theme bumps, content edits) previously never shipped — the pages deploy only ran on release: published. also restores a manual workflow_dispatch trigger. --- .github/workflows/deploy-docs.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 2f7cff0..e17a26d 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -1,10 +1,18 @@ name: Deploy Documentation # Publish docs when a version is released (changesets creates a GitHub Release on publish), so the -# site documents the latest *released* library rather than every commit on main. +# site documents the latest *released* library — and also when the docs themselves change on main +# (theme bumps, content edits), since those need no library release to be worth shipping. on: release: types: [published] + push: + branches: [main] + paths: + - "docs/**" + - "pnpm-workspace.yaml" + - ".github/workflows/deploy-docs.yml" + workflow_dispatch: permissions: contents: read