Commit 1f457e0
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) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013EQx4N5BzTQbY8kvXUsdkY1 parent b3bf6e2 commit 1f457e0
1 file changed
Lines changed: 6 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
17 | 23 | | |
18 | 24 | | |
19 | 25 | | |
| |||
0 commit comments