From 1f457e0665cb7cfbcfd55c4269647d00d2ebf2df Mon Sep 17 00:00:00 2001 From: Imran Siddique Date: Thu, 20 Aug 2026 21:49:13 -0700 Subject: [PATCH] ci: deploy the docs when the theme or the landing page changes Only trace-spec listed overrides/** in its docs deploy filter, so a change to overrides/main.html merged to main and the live site kept serving the old template. The og:title fix did exactly that: merged, green, and not deployed. The same gap covers files the build publishes but the filter never named. index.md is the site landing page now, and the governance documents are copied into the build, so any of them can change without triggering a deploy. Aligns each filter with what the build actually copies. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_013EQx4N5BzTQbY8kvXUsdkY --- .github/workflows/docs.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 32596da..9238477 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -14,6 +14,12 @@ on: - "ROADMAP.md" - "LIMITATIONS.md" - "CNAME" + - "overrides/**" + - "index.md" + - "CHARTER.md" + - "CODE_OF_CONDUCT.md" + - "SECURITY.md" + - "PRIVACY.md" workflow_dispatch: permissions: