There was an error while loading. Please reload this page.
2 parents fa0b0df + e6f1818 commit bed0853Copy full SHA for bed0853
1 file changed
.github/workflows/brain_board.yml
@@ -31,10 +31,18 @@ on:
31
# A dev-box publish (`pyauto-brain board publish`, usually morning.sh's
32
# last step) pushes state/devbox_board.json to main — republish so the
33
# board shows this morning's local observations a minute later.
34
+ #
35
+ # And whenever the page's own code changes. Merging a renderer or theme
36
+ # change used to leave the published board on yesterday's HTML until the
37
+ # next 05:30 cron, so the repo said one thing and the live page showed
38
+ # another — the emoji-vs-mark gap of #262 was visible for hours after it
39
+ # was fixed. The board is cheap to rebuild; rebuild it when it changes.
40
push:
41
branches: [main]
42
paths:
43
- "state/devbox_board.json"
44
+ - "board/**"
45
+ - "config/policy.yaml"
46
47
permissions:
48
contents: read
0 commit comments